Dirk van Dalen
De Wikipédia, l'encyclopédie libre
Found in articles
Principe du tiers exclu
preuve », octobre-décembre 2005, p. 33, cadre B (lire en ligne). (en) Dirk van Dalen (de), Logic and Structure, Springer, 2008, 4e éd. (1re éd. 1980) (lire
anémie qui s'aggravait Cet épisode est raconté en détail pas Dirk van Dalen dans Dirk van Dalen, « The War of the Frogs and the Mice, or the Crisis of the
Thèse de Church (mathématiques constructives)
compatible avec la logique classique. (en) Anne Sjerp Troelstra et Dirk van Dalen, Constructivism in mathematics: An introduction, vol. 1, North Holland
Jan van Leeuwen
en mathématiques en 1972 à la même université sous la direction de Dirk van Dalen . Il effectue des études postdoctorales à l' Université de Californie
Constructivisme (mathématiques)
constructive analysis, Mac Graw Hill, 1967. Anne Sjerp Troelstra (en) et Dirk van Dalen (en), Constructivism in Mathematics, 2 volumes, collection "Studies