"Introduction to Logic and to the Methodology of the Deductive Sciences " - читать интересную книгу автора (Alfred Tarski, Jan Tarski)