Pages that link to "Arend Heyting"
The following pages link to Arend Heyting:
Displaying 15 items.
- Anti-realism (← links | edit)
- Law of excluded middle (← links | edit)
- Logical connective (← links | edit)
- Intuitionism (← links | edit)
- Constructivism (philosophy of mathematics) (← links | edit)
- Nonstandard analysis (← links | edit)
- Principle of bivalence (← links | edit)
- Philosophy of mathematics (← links | edit)
- Natural deduction (← links | edit)
- History of logic (← links | edit)
- List of Dutch people (← links | edit)
- Intuition (← links | edit)
- Hilbert's problems (← links | edit)
- Intuitionistic logic (← links | edit)
- L. E. J. Brouwer (← links | edit)