12 treff

The scholar and the state : in search of Van der Waerden
Alexander Soifer ; forewords by Dirk van ...
Bok Engelsk 2015
Logic and structure
Dalen, D. van
Bok Engelsk 2004
Logic and structure
Dalen, D. van
Bok Engelsk 1997
Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1997
Logic and structure
Dalen, D. van
Bok Engelsk 1994
Logic and structure
Dalen, D. van
Bok Språk ikke angitt 1983
The L. E. J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13, June 1981
L. E. J. Brouwer Centenary Symposium
Bok Språk ikke angitt 1982
Logic Colloquium '80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Logic Colloquium
Bok Språk ikke angitt 1982
Brouwer's Cambridge lectures on intuitionism
Brouwer, Luitzen Egbertus Jan
Bok Språk ikke angitt 1981
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
Logic Colloquium
Bok Språk ikke angitt 1979
Sets : naive, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
by D. Van Dalen, H.C. Doets, H. de Swart
Bok Engelsk 1978
Sets and integration : an outline of the development
D. van Dalen A. F. Monna
Bok Engelsk 1972