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