Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper Jr, "Kurt Godel and the Foundations of Mathematics: Horizons Of Truth" English | 2014 | ISBN: 1107677998, 0521761441 | 540 pages | True PDF | 3.8 MB
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts by Stefania Centrone English | PDF,EPUB | 2019 | 510 Pages | ISBN : 3030156540 | 14 MB
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives.
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts by Stefania Centrone English | EPUB | 2019 | 510 Pages | ISBN : 3030156540 | 7.15 MB
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives.
Andres Eduardo Caicedo, James Cummings, "Foundations of Mathematics: Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA" 2017 | ISBN-10: 1470422565 | 322 pages | PDF | 4 MB
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts by Stefania Centrone English | 2019 | 510 Pages | ISBN : 3030156540 | PDF | 7 MB
Robert Goldblatt, "Topoi: Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics)" English | ISBN: 0444867112 | 1984 | PDF | 568 pages | 26 MB
From the Calculus to Set Theory, 1630-1910: An Introductory History edited by Ivor Grattan-Guinness English | December 15, 2000 | ISBN: 0691070822 | True PDF | 306 pages | 28.6 MB