A logical introduction to proof
Material type: TextPublication details: New York : Springer, 2012.Description: 356PISBN:- 9781461436300
- CUN-L 511.3
- QA9 .C843 2012
- QA9.54
Contents:
SpringerLink ebooks - Mathematics and Statistics (2013)
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 library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Mathematics | REF 511.3 CUN-L (Browse shelf(Opens below)) | Available | 004094 |
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.
License restrictions may limit access.
There are no comments on this title.