Proof, logic and formalization - Detlefsen, Michael (Routledge, 1992)