11. 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) ↗
12. 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) ↗
13. 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) ↗
14. Handbook of proof theory. (1998) Other Names: Buss, Samuel R Record Type: Book Extent: 1 online resource (810 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem. (2022) Authors: Feldmeier, Achim Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Introduction to mathematical proofs : a transition /: a transition. (2009) Other Names: Roberts, Charles E, 1942- Record Type: Book Extent: 1 online resource (viii, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. 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) ↗
18. Lectures on the Curry-Howard isomorphism. (2006) Other Names: Sørensen, Morten Heine; Urzyczyn, Paweł Record Type: Book Extent: 1 online resource (456 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Mathematical proofs a transition to advanced mathematics /: a transition to advanced mathematics. ([2013]) Authors: Chartrand, Gary; Polimeni, Albert D, 1938-; Zhang, Ping, 1957- Record Type: Book Extent: 1 online resource (ii, 418 pages :), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. 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) ↗