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 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
| 511.11 R722D7 Discrete mathematics and its applications | 511.11 R722D8 Discrete mathematics and its applications | 511.11 R722D8 Discrete mathematics and its applications | 511.3 C917L Logical Introduction to Proof | 511.3 D54G Graph drawing : | 511.3 St35M2 More precisely : | 511.3 V54H3 How to prove it : a structured approach |
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.