A logical introduction to proof / Daniel W. Cunningham.

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.

This item has been checked out 0 time(s)
and currently has 0 hold request(s).