"Logic, semantics, metamathematics: Papers from 1923 to 1938" - читать интересную книгу автора (Alfred Tarski)