1. An introduction to mathematical proofs. (2019) Authors: Loehr, Nicholas A Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. An introduction to proof through real analysis. (2017) Authors: Madden, Daniel J, 1948-; Aubrey, Jason A, 1975- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Floating-point algorithms and formal proofs : a didactic tour with Coq /: a didactic tour with Coq. (2016) Authors: Boldo, Sylvie; Melquiond, Guillaume Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Handbook of mathematical induction : theory and applications /: theory and applications. ([2014?]) Authors: Gunderson, David S Record Type: Book Extent: 1 online resource (xxv, 863 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Introduction to mathematical proofs : a transition /: a transition. (2015) Authors: Roberts, Charles E, 1942- Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Proof theory : sequent calculi and related formalisms /: sequent calculi and related formalisms. (2014) Authors: Bimbó, Katalin, 1963- Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Proof, logic and formalization. (2005) Editors: Detlefsen, Michael Record Type: Book Extent: 1 online resource (256 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Proofs 101 : an introduction to formal mathematics /: an introduction to formal mathematics. (2020) Authors: (Mathematics professor), Kirtland, Joseph Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Understanding mathematical proof. (2014) Other Names: Taylor, John, 1957-; Garnier, Rowan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗