scientific article; zbMATH DE number 3069866
From MaRDI portal
Publication:5809947
Cited in
(9)- The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- The mathematical universe
- Formal systems of constructive mathematics
- scientific article; zbMATH DE number 4150464 (Why is no real title available?)
- Essays in Constructive Mathematics
- Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
- Book review of: S. Centrone (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts
- Higher-order Platonism and multiversism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5809947)
