Pages that link to "Item:Q4312340"
From MaRDI portal
The following pages link to Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340):
Displaying 4 items.
- Like a bee on a windowpane: Heyting's reflections on solipisms (Q1583771) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Conceptions of truth in intuitionism (Q3160445) (← links)
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic (Q3542785) (← links)