TY  - BOOK
AU  - Roberts,Charles E.
TI  - Introduction to mathematical proofs: a transition 
T2  - Textbooks in mathematics
SN  - 9781420069563 (ebook : PDF)
PY  - 2009///
CY  - Boca Raton
PB  - CRC Press
KW  - Proof theory
KW  - Textbooks
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 415-416) and index
UR  - http://marc.crcnetbase.com/isbn/9781420069563
ER  -