| Type |  Book |
| ชื่อเรื่อง | Introduction to mathematical proofs : a transition / Charles E. Roberts |
| ผู้แต่ง | Roberts, Charles e |
| ISBN | 1420069551 |
| | 9781420069556 |
| | 9781420069556 (hardcover) |
| พิมพลักษณ์ | Boca Raton : CRC Press, c2010 |
| | Boca Raton, Fla. : CRC Press, c2009 |
| รูปเล่ม | viii, 425 p. : ill. ; 25 cm |
| หัวเรื่อง | Logic, Symbolic and mathematical |
| | Logic, Symbolic and mathematical --Textbooks [] |
| | Logic, Symbolic and mathematical --Textbooks [] |
| | Proof theory |
| | Proof theory --Textbooks [] |
| | Proof theory --Textbooks [] |