Proof, Logic and Formalization - Michael Detlefsen (Taylor and Francis, 1992)