"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)" - читать интересную книгу автора (Peter B. Andrews)