TY  - GEN
T1  - Proof, logic, and formalization
A2  - Detlefsen, Michael, 1948-
LA  - English
PP  - London ; New York
PB  - Routledge
YR  - 1992
UL  - https://colectivo.uloyola.es/Record/ELB155840
OP  - 241
CN  - QA9.54 .P77 1991
KW  - Proof theory.
KW  - Logic, Symbolic and mathematical.
KW  - Electronic books.
ER  -