TY - BOOK AU - Cunningham, Daniel W TI - A logical introduction to proof SN - 9781461436300 U1 - 511.3 CUN/L PY - 2012/// CY - New York PB - Springer KW - MATHEMATICS KW - CALCULUS KW - ALGEBRA ER -