TY  - BOOK
AU  - Franklin (James William),1953-
AU  - Daoud,Albert Tatar,1936-
TI  - Introduction to proofs in mathematics
SN  - 0724810099
PY  - 1988///
CY  - New York
PB  - Prentice-Hall
KW  - Proof theory
ER  -