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