Logical Introduction to Proof

Cunningham, Daniel W.

Logical Introduction to Proof Daniel W. Cunningham. - New York : Springer, 2012. - xv, 356 p. : ill. ; 24 cm.

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

9781461436300 (hdbk. : acidfree paper) Euro 26.99 = Mathematics Collection

2012939054

016068478 Uk


Logic, Symbolic and mathematical.
Logic
Mathematics

QA9 / .C843 2012

511.3 C917L



Contact for Queries: skpathak@iiserb.ac.in