A logical introduction to proof
Daniel W. Cunningham
A logical introduction to proof - - Springer 2012 - xiv, 356p.
bill No. SAR/204/2012; dt 10-01-2013
9781461436300 (HB)
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
004.015113 CUN(LOG)
A logical introduction to proof - - Springer 2012 - xiv, 356p.
bill No. SAR/204/2012; dt 10-01-2013
9781461436300 (HB)
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
004.015113 CUN(LOG)