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