"Introduction to logic and to the methodology of the deductive sciences" - читать интересную книгу автора (Alfred Tarski, Jan Tarski)