TY - BOOK AU - ROBERTS, Charles E. TI - Introduction to Mathematical Proofs: a transition to advanced Mathematics SN - 978-1-4822-4687-2 U1 - 511.36 PY - 2015/// CY - Boca Raton PB - CRC Press KW - Proof theory--Textbooks. 2. Logic, Symbolic and mathematical--Textbooks. 3. Logic, Symbolic and mathematical ER -