Search Results for Proof theory -- Textbooks.

A bridge to higher mathematics

2026-06-03T06:19:07Z

Author Kirkwood, James R., author. Robeva, Raina S., author.
Preferred Shelf Number QA9.54
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032623849 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Taking the "oof!" out of proofs

2026-06-03T06:19:07Z

Author Draganov, Alexandr, author.
Preferred Shelf Number QA9.54
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003456766 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

An introduction to proof through real analysis

2026-06-03T06:19:07Z

Author Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.
Preferred Shelf Number QA9.54 .M335 2017
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769
Format: Electronic Resources
Availability Online Library~1

Introduction to mathematical proofs

2026-06-03T06:19:07Z

Author Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number QA9.54
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Theorems, corollaries, lemmas, and methods of proof

2026-06-03T06:19:07Z

Author Rossi, Richard J., 1956-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library Click here to view book John Wiley http://dx.doi.org/10.1002/9781118031575 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: Electronic Resources
Availability Online Library~1