"Review of Carnap 'Formalization of Logic'" - читать интересную книгу автора (Church Alonzo)