"Logic, Language and Consistency in Tarski's Theory of Truth" - читать интересную книгу автора (Levinson A B)