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