Logic, semantics, metamathematics. Papers from 1923 to 1938 /
Tarski, Alfred.
Oxford, 
1956.
[With a bibliography.]