TY  - BOOK
AU  - Detlefsen Micheal ed
TI  - Proof logic and formalization
U1  - R1:(B), N2 
PY  - 1992///
CY  - London
PB  - Routledge       
KW  - LOGIC; MATHEMATICS
ER  -