Pages that link to "Dirk van Dalen"
Appearance
Showing 47 items.
- Cauchy sequence (links | edit)
- Constructivism (philosophy of mathematics) (links | edit)
- Natural deduction (links | edit)
- Intuitionistic logic (links | edit)
- L. E. J. Brouwer (links | edit)
- List of logicians (links | edit)
- Constructive proof (links | edit)
- Abraham Fraenkel (links | edit)
- Kripke semantics (links | edit)
- Arend Heyting (links | edit)
- Skolem's paradox (links | edit)
- Mathematische Annalen (links | edit)
- Henk Barendregt (links | edit)
- Logics for computability (links | edit)
- Boolean domain (links | edit)
- Constructive set theory (links | edit)
- Bar induction (links | edit)
- Jan Bergstra (links | edit)
- Double-negation translation (links | edit)
- Indecomposability (intuitionistic logic) (links | edit)
- Choice sequence (links | edit)
- Brouwer–Hilbert controversy (links | edit)
- Dirk van Dalen (transclusion) (links | edit)
- Elliott Mendelson (links | edit)
- Jan Willem Klop (links | edit)
- Jan van Leeuwen (links | edit)
- International Union of History and Philosophy of Science (links | edit)
- Van Dalen (links | edit)
- List of people associated with Utrecht University (links | edit)
- Royal Dutch Mathematical Society (links | edit)
- Logic (links | edit)
- Victor W. Marek (links | edit)
- Lou van den Dries (links | edit)
- Mathematics in Nazi Germany (links | edit)
- Catholijn Jonker (links | edit)
- Dorette Pronk (links | edit)
- Talk:Dirk van Dalen (transclusion) (links | edit)
- User:Mathbot/List of mathematical redlinks (D) (links | edit)
- User:Fropuff/Redlinks (links | edit)
- User:Salih/MathRedlinks (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tony Sidaway/Living people/tranche 019 (links | edit)
- User:Ruud Koot/Claude J/Mathematik (links | edit)
- User:Ruud Koot/Dutch computer scientists (links | edit)
- User talk:Toby Bartels/2015 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (D) (links | edit)
- Wikipedia:Articles for creation/Redirects and categories/2011-12 (links | edit)