Welcome to the Online Catalogue, Central Library Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur Accredited by NAAC with A++ Grade

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)
Visitor count :