"Logic, Semantics, Metamathematics. Papers from 1923 to 1938" - читать интересную книгу автора (Alfred Tarski, J. H. Woodger)