Pages that link to "Item:Q3787951"
From MaRDI portal
The following pages link to Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930 (Q3787951):
Displaying 3 items.
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary (Q346664) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
