TY - BOOK AU - Beck, Matthias AU - Geoghegan, Ross TI - Art of proof : basic training for deeper mathematics T2 - Undergraduate texts in mathematics SN - 978-1-4419-7022-0 U1 - 511.36 23rd. PY - 2010/// CY - New York PB - Springer KW - Proof theory UR - www.springer.com ER -