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
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