TY  - GEN
AU  - Rotman, Joseph J.,
TI  - Journey into mathematics: an introduction to proofs 
SN  - 0138423601
AV  - QA9.54 .R67 1998
PY  - 1998///
CY  - Upper Saddle River, NJ
PB  - Prentice Hall
KW  - Proof theory
N1  - Includes bibliographical references (p. 215) and index
ER  -