TY  - BOOK
AU  - Michael Detlefsen
TI  - Proof, Logic and Formalization
SN  - 9780203980255
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780203980255
ER  -