Pages that link to "Brouwer–Heyting–Kolmogorov interpretation"
The following pages link to Brouwer–Heyting–Kolmogorov interpretation:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Type theory (← links)
- Andrey Kolmogorov (← links)
- Negation (← links)
- Truth value (← links)
- Curry–Howard correspondence (← links)
- Constructive proof (← links)
- Strategy-stealing argument (← links)
- Arend Heyting (← links)
- Brouwer-Heyting-Kolmogorov interpretation (redirect page) (← links)
- Infogalactic:WikiProject Mathematics/List of mathematics articles (B) (← links)