1. An introduction to the language of mathematics. (2018) Authors: Mynard, Frédéric, 1973- Record Type: Book Extent: 1 online resource (xii, 185 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in proof-theoretic semantics. ([2016]) Editors: Piecha, Thomas; Schroeder-Heister, Peter Joseph, 1953- Other Names: International Conference on Proof-Theoretic Semantics, 2nd Record Type: Book Extent: 1 online resource (vi, 283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Gentzen's centenary : the quest for consistency /: the quest for consistency. ([2015]) Editors: Kahle, Reinhard, 1967-; Rathjen, Michael Record Type: Book Extent: 1 online resource (x, 561 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Problems and proofs in numbers and algebra. (2015) Authors: Millman, Richard S, 1945-; Shiue, Peter Jau-Shyong, 1941-; Kahn, Eric Brendan Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Writing proofs in analysis. (2016) Authors: Kane, Jonathan Michael Record Type: Book Extent: 1 online resource (xx, 347 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Why prove it again : alternative proofs in mathematical practice /: alternative proofs in mathematical practice. (2015) Authors: Dawson, John W; Babcock, Bruce S; Weintraub, Steven H Record Type: Book Extent: 1 online resource (209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Advances in proof theory. (2016) Editors: Kahle, Reinhard, 1967-; Strahm, Thomas (Thomas Adrian); Studer, Thomas Record Type: Book Extent: 1 online resource (xii, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Proof patterns. (2015) Authors: Joshi, Mark Record Type: Book Extent: 1 online resource (xiii, 190 pages), illustrations 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) ↗
10. 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) ↗