Pages that link to "Brouwer–Heyting–Kolmogorov interpretation"
From HandWiki
The following pages link to Brouwer–Heyting–Kolmogorov interpretation:
Displayed 13 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Ludics (← links)
- Negation (← links)
- Constructive set theory (← links)
- Type theory (← links)
- Frege's theorem (← links)
- Proof by contradiction (← links)
- Constructive proof (← links)
- Brouwer–Heyting–Kolmogorov interpretation (transclusion) (← links)
- Curry–Howard correspondence (← links)
- Philosophy:Truth value (← links)
- Biography:L. E. J. Brouwer (← links)
- Biography:Andrey Kolmogorov (← links)
- Biography:Sergei N. Artemov (← links)