TY  - BOOK
AU  - Exner,George R.
TI  - An Accompaniment to Higher Mathematics
T2  - Undergraduate Texts in Mathematics Series
SN  - 9781461239987
AV  - QA299.6-433 
U1  - 511.3 
PY  - 1996///
CY  - New York, NY
PB  - Springer
KW  - Proof theory
KW  - Electronic books
N1  - Undergraduate Texts in Mathematics -- An Accompaniment to Higher Mathematics -- Copyright -- Contents -- Introduction -- 1 Examples -- 2 Informal Language and Proof -- 3 Formal Language and Proof -- 4 Laboratories -- Appendix A Theoretical Apologia -- Appendix B Hints -- References -- Index
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3076538
ER  -