TY  - GEN
AU  - Roberts, Charles E
TI  - Introduction  to mathematical proofs : a transition
T2  - Textbook in mathematics
SN  - 9781420069556
PY  - 2010///
CY  - Boca Raton
PB  - CRC 
KW  - Proof  theory
KW  - Logic
ER  -