Pages that link to "Arend Heyting"
Jump to navigation
Jump to search
The following pages link to Arend Heyting:
Displaying 26 items.
- Anti-realism (← links)
- Law of excluded middle (← links)
- Logical connective (← links)
- Intuitionism (← links)
- Constructivism (philosophy of mathematics) (← links)
- Nonstandard analysis (← links)
- Principle of bivalence (← links)
- Philosophy of mathematics (← links)
- Natural deduction (← links)
- History of logic (← links)
- List of Dutch people (← links)
- Intuition (← links)
- Hilbert's problems (← links)
- Intuitionistic logic (← links)
- L. E. J. Brouwer (← links)
- Axiomatic system (← links)
- Logical biconditional (← links)
- Curry–Howard correspondence (← links)
- Heyting algebra (← links)
- List of logicians (← links)
- Scientific phenomena named after people (← links)
- Constructive logic (← links)
- Material conditional (← links)
- Begriffsschrift (← links)
- Pre-intuitionism (← links)
- Institute for Logic, Language and Computation (← links)