FEEDBACK Smiley face
Cunningham, Daniel W.

A logical introduction to proof Daniel W. Cunningham. - New York : Springer, 2012. - 356P. :

Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.

License restrictions may limit access.

9781461436300 = A logical introduction to proof

016068478 Uk


Mathematics


Logic, Symbolic and mathematical.

QA9 / .C843 2012 QA9.54

511.3 / CUN-L

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in