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. 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) ↗
3. 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) ↗
4. 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) ↗
5. A model-theoretic approach to proof theory. (2019) Authors: Kotlarski, Henryk Other Names: Adamowicz, Zofia; Bigorajska, Teresa; Zdanowski, Konrad Record Type: Book Extent: 1 online resource (123 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Proof technology in mathematics research and teaching. (2019) Editors: Hanna, G (Gila), 1934-; Reid, David A (David Alexander), 1963-; De Villiers, Michael D Record Type: Book Extent: 1 online resource (viii, 379 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. An introduction to mathematical proofs. ([2020]) Authors: Loehr, Nicholas A Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. The nuts and bolts of proofs. (2005) Other Names: Cupillari, Antonella Record Type: Book Extent: 1 online resource (192 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Mathesis universalis, computability and proof. (2019) Other Names: Centrone, Stefania; Negri, Sara, 1967-; Sarikaya, Deniz; Schuster, Peter M Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗