TY  - DATA
AU  - Michael Detlefsen
TI  - Proof, Logic and Formalization
SN  - 9780415023351
PB  - Routledge
KW  -  General
KW  - Logic, Symbolic and mathematical.,Mathematics--Philosophy.,Proof theory
KW  - PHILOSOPHY
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=134981
ER  -