A logical introduction to proof / Daniel W. Cunningham.
By: Cunningham, Daniel W.
Material type: TextPublisher: New York : Springer, 2012Description: xv, 356 p., E 44.95 ill. ; 24 cm.ISBN: 9781461436300 (hdbk. : acidfree paper); 1461436303 (hdbk. : acidfree paper).Subject(s): Logic, Symbolic and mathematical
Contents:
Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.3 CUN (Browse shelf) | Available | 8643 |
Total holds: 0
Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.