TY  - GEN
AU  - Chartrand Gary
AU  - Polimeni Albert D
AU  - Zhang Ping
TI  - Mathematical proofs: a transition to advanced mathematics 
SN  - 0201710900
AV  - QA9.54 
U1  - 511.3 
PY  - 2003///
CY  - Boston
PB  - Addison Wesley
KW  - Proof theory
N1  - Includes bibliographical references (p. 281) and indexes
UR  - http://www.loc.gov/catdir/toc/fy031/2001055322.html
ER  -