TY  - GEN
T1  - Proof and knowledge in mathematics
A2  - Detlefsen, Michael, 1948-
LA  - English
PP  - London ; New York
PB  - Routledge
YR  - 1992
UL  - https://colectivo.uloyola.es/Record/ELB154346
OP  - 256
CN  - QA8.4 .P75 1991
KW  - Mathematics : Philosophy.
KW  - Logic, Symbolic and mathematical.
KW  - Electronic books.
ER  -