Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts
DOI10.1093/PHILMAT/NKAB026zbMath1505.00023OpenAlexW3206921943MaRDI QIDQ5071694
Publication date: 22 April 2022
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkab026
Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) External book reviews (00A17) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
This page was built for publication: Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts
