Logical Introduction to Proof Daniel W. Cunningham.
Publication details: New York : Springer, 2012.Description: xv, 356 p. : ill. ; 24 cmISBN:- 9781461436300 (hdbk. : acidfree paper)
- 23 511.3 C917L
- QA9 .C843 2012
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 library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 511.3 C917L (Browse shelf(Opens below)) | Not For Loan | Reserve | 6910 |
Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.
There are no comments on this title.
Log in to your account to post a comment.