Pages that link to "Biography:Dirk van Dalen"
From HandWiki
The following pages link to Biography:Dirk van Dalen:
Displayed 15 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- List of mathematicians (D) (← links)
- Boolean domain (← links)
- Constructive proof (← links)
- Bar induction (← links)
- Philosophy:Double-negation translation (← links)
- Philosophy:Logics for computability (← links)
- Biography:Dirk van Dalen (transclusion) (← links)
- Biography:Henk Barendregt (← links)
- Biography:L. E. J. Brouwer (← links)
- Biography:Abraham Fraenkel (← links)
- Biography:Jan van Leeuwen (← links)
- Biography:List of logicians (← links)
- Biography:Elliott Mendelson (← links)
- Biography:Lou van den Dries (← links)
- Biography:Jan Bergstra (← links)
