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