Dirk van Dalen

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

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

et Paul Taylor, Proofs and types, Cambridge University Press, 1989 Dirk van Dalen (en), Logic and Structure, Berlin Heidelberg, Springer-Verlag, 2004

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

compatible avec la logique classique. (en) Anne Sjerp Troelstra et Dirk van Dalen, Constructivism in mathematics: An introduction, vol. 1, North Holland