How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts).
Publication details: Cambridge: Cambridge University Press, 2023.Edition: Third editionDescription: xii, 458pISBN:- 9781108439534 (pbk. : alk. paper)
- 511.3 V54H3 23
- QA9 .V38 2019
Contents:
Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal On Display | Reference | 511.3 V54H3 (Browse shelf(Opens below)) | Not For Loan | Title recommended by Dr Ankur Raina | 11756 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 511.3 V54H3 (Browse shelf(Opens below)) | Checked out to Akshay (24029) | 21/01/2025 | 11757 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: General Section Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 511.3 ST49F The foundations of mathematics | 511.3 ST49F The foundations of mathematics | 511.3 ST49F The foundations of mathematics | 511.3 V54H3 How to prove it : a structured approach | 511.322 C145S Sets, Logic, and Categories | 511.35 H77I3 Introduction to automata theory, languages and computation | 511.35 M364I3 Introduction to languages and the theory of computation |
Includes index.
Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
There are no comments on this title.
Log in to your account to post a comment.