TY  - BOOK
AU  - Roberts, C E
TI  - Introduction to mathematical proofs: a transition
SN  - 9781420069556
U1  - 510 
PY  - 2010///
CY  - Boca raton
PB  - CRC
KW  - LOGIC,SYMBOLIC AND MATHEMATICAL
KW  - PROOF THEORY-TEXT BOOKS
ER  -