Pages that link to "Item:Q4312340"

The following pages link to Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340):

Displayed 2 items.

• L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) ‎ (← links)
• Conceptions of truth in intuitionism (Q3160445) ‎ (← links)