1. 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) ↗
2. A transition to proof : an introduction to advanced mathematics /: an introduction to advanced mathematics. (2019) Authors: Nicholson, Neil R Record Type: Book Extent: 1 online resource, illustrations (black and white) 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. 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) ↗
5. 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) ↗
6. 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) ↗
7. 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) ↗
8. 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) ↗
9. Analysis : with an introduction to proof /: with an introduction to proof. ([2014]) Authors: Lay, Steven R, 1944- Record Type: Book Extent: 1 online resource (i, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Analysis : with an introduction to proof /: with an introduction to proof. ([2014]) Authors: Lay, Steven R, 1944- Record Type: Book Extent: 1 online resource (i, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗