How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts).

By:

Velleman, Daniel J

Publication details: Cambridge: Cambridge University Press, 2023.Edition: Third editionDescription: xii, 458pISBN:

9781108439534 (pbk. : alk. paper)

Subject(s):

DDC classification:

511.3 V54H3 23

LOC classification:

QA9 .V38 2019

Contents:

Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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

Includes index.

Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.

There are no comments on this title.

to post a comment.