Proof, Logic and Formalization by Michael Detlefsen