Author:
Cunningham, Daniel W.
Imprint:New York : Springer, 2012.
Descriptionxv, 356 p. : ill. ; 24 cm.
Note:Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.