Proof, Logic and Formalization door Michael Detlefsen