Proof, logic and formalization /
Detlefsen, Michael,1948-
London : Routledge,
1992.