TY  - BOOK
AU  - Detlefsen,Michael
TI  - Proof and knowledge in mathematics
SN  - 0415068053
PY  - 1992///
CY  - London
PB  - Routledge
KW  - Mathematics
KW  - Philosophy
KW  - Logic, Symbolic and mathematical
ER  -