"Proof, Logic, and Formalization " - читать интересную книгу автора (Michael Detlefsen)