"Introduction to Symbolic Logic and Its Applications" - читать интересную книгу автора (Rudolf Carnap)