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