"introduction to symbolic logic and its applications" - читать интересную книгу автора (Rudolf Carnap)