TY  - BOOK
AU  - Hallerberg,Arthur E.
TI  - Mathematical proof: an elementary approach 
SN  - 0028456904
PY  - 1974///
CY  - New York
PB  - Hafner Press
KW  - Proof theory
ER  -