Logic, semantics, metamathematics papers from 1923 to 1938 - Tarski, Alfred (Hackett Pub., 1983)