"Formalization of logic, (His Studies in semantics, vol. II)" - читать интересную книгу автора (Rudolf Carnap)