"Formalization of logic" - читать интересную книгу автора (Carnap R.)