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