TY  - BOOK
AU  - EXNER,GEORGE R.
TI  - AN ACCOMPANIMENT TO HIGHER MATHEMATICS / 
U1  - 511.3 
PY  - 1996///
CY  - [S.N] : 
PB  - SPRINGER - VERLAG ، 
KW  - PROOF THEORY
KW  - MATHEMATICS
ER  -