Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics
From MaRDI portal
Publication:6489044
DOI10.1007/978-3-031-09610-5_3MaRDI QIDQ6489044
Publication date: 15 March 2024
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)
Cites Work
- Intuitionism. An introduction
- Like a bee on a windowpane: Heyting's reflections on solipisms
- L. E. J. Brouwer: Toward intuitionistic logic
- BLICK VON DER INTUITIONISTISCHEN WARTE
- Heyting’s contribution to the change in research into the foundations of mathematics
- Points and Spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics