Skip to contents Dalen, Dirk van [Editor] ; European Association for Computer Science Logic, CSL 10 1996 Utrecht Computer science logic : 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1258 Dalen, Dirk van [Other]; Heyting, Arend [Honoree] Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70. birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Groningen: Wolters-Noordhoff, 1968 Published in: Noordhoff series of monographs and text- books on pure and applied mathematics Dalen, Dirk van [Author] Logic and structure - [3., augmented ed., corr. 2. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Universitext Dalen, Dirk van [Author] Logic and structure - [3., augmented ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994 Published in: Universitext Dalen, Dirk van [Author] Logic and structure - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1983 Published in: Universitext Troelstra, Anne S. [Editor]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [Honoree] ; L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: North-Holland Publ. Comp., 1982 Published in: Studies in logic and the foundations of mathematics ; 11000 Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 1 - Studies in logic and the foundations of mathematics ; 121 Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics / 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 2 - Studies in logic and the foundations of mathematics ; 123 Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Studies in logic and the foundations of mathematics ; . Dalen, Dirk van [Author]; Monna, Antonie Frans [Author]; Monna, A. F. [Author] Sets and integration : an outline of the development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Groningen: Wolters-Noordhoff, 1972 Dale, Antonius van [Author] ; Boom, Hendrick [Printer]; Boom, Dirk Witwe [Printer] Antonii van Dale Poliatri Harlemensis De oraculis veterum ethnicorum dissertationes duae : quarum nunc prior agit de eorum origine atque auctoribus, secunda de ipsorum duratione & interitu - [Editio secunda plurimum adaucta, cui de novo accedunt Dissertatiununculae I. De statua Simoni Mago, ut praetenditur, erecta ... II. De actis Pilati disseritur ... III. Schediasma de consecrationibus, plusquam dimidia parte auctius ...] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amstelodami: apud Henricum & viduam Theodori Boom, M.D.CC. Dalen, Dirk van [Author] Logic and Structure Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Dalen, Dirk van [Author] ; Bezem, Marc [Other] Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1258 Dalen, Dirk van [Author] Logic and Structure - [Third, Augmented Edition] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1994 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Dalen, Dirk van [Author] Logic and Structure - [Second Edition] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1983 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Dalen, Dirk van [Author] Logic and Structure Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1980 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Dalen, Dirk van [Author] ; Monna, A. F. [Other] Sets and integration An outline of the development Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer Netherlands, 1972 Published in: SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Dalen, Dirk van [Author] The Return of the Flowing Continuum Articles View online Schließen > Access https://www.persee.fr/doc/intel_0769-4113_2009_num_51_1_1735 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Published in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 51, n° 1, pp. 135-144 Freudenthal, Hans [Creator] ; Springer, Tonny A. [Editor]; Dalen, Dirk van [Editor] Hans Freudenthal : Selecta Books View online Schließen > Access http://www.ems-ph.org/books/book.php?proj_nr=108 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zürich: European Mathematical Society, [2009] Published in: Heritage of European mathematics Troelstra, Anne S. [Other]; Dalen, Dirk van [Other] Constructivism in mathematics : Volume 1 ; an introduction Books View online Schließen > Access http://www.sciencedirect.com/science/bookseries/0049237X/121 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Studies in logic and the foundations of mathematics ; v. 121
Dalen, Dirk van [Editor] ; European Association for Computer Science Logic, CSL 10 1996 Utrecht Computer science logic : 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1258
Dalen, Dirk van [Other]; Heyting, Arend [Honoree] Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70. birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Groningen: Wolters-Noordhoff, 1968 Published in: Noordhoff series of monographs and text- books on pure and applied mathematics
Dalen, Dirk van [Author] Logic and structure - [3., augmented ed., corr. 2. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Universitext
Dalen, Dirk van [Author] Logic and structure - [3., augmented ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994 Published in: Universitext
Dalen, Dirk van [Author] Logic and structure - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1983 Published in: Universitext
Troelstra, Anne S. [Editor]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [Honoree] ; L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: North-Holland Publ. Comp., 1982 Published in: Studies in logic and the foundations of mathematics ; 11000
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 1 - Studies in logic and the foundations of mathematics ; 121
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics / 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 2 - Studies in logic and the foundations of mathematics ; 123
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] Constructivism in mathematics : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Studies in logic and the foundations of mathematics ; .
Dalen, Dirk van [Author]; Monna, Antonie Frans [Author]; Monna, A. F. [Author] Sets and integration : an outline of the development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Groningen: Wolters-Noordhoff, 1972
Dale, Antonius van [Author] ; Boom, Hendrick [Printer]; Boom, Dirk Witwe [Printer] Antonii van Dale Poliatri Harlemensis De oraculis veterum ethnicorum dissertationes duae : quarum nunc prior agit de eorum origine atque auctoribus, secunda de ipsorum duratione & interitu - [Editio secunda plurimum adaucta, cui de novo accedunt Dissertatiununculae I. De statua Simoni Mago, ut praetenditur, erecta ... II. De actis Pilati disseritur ... III. Schediasma de consecrationibus, plusquam dimidia parte auctius ...] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amstelodami: apud Henricum & viduam Theodori Boom, M.D.CC.
Dalen, Dirk van [Author] Logic and Structure Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Dalen, Dirk van [Author] ; Bezem, Marc [Other] Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1258
Dalen, Dirk van [Author] Logic and Structure - [Third, Augmented Edition] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1994 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Dalen, Dirk van [Author] Logic and Structure - [Second Edition] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1983 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Dalen, Dirk van [Author] Logic and Structure Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 1980 Published in: Universitext- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Dalen, Dirk van [Author] ; Monna, A. F. [Other] Sets and integration An outline of the development Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer Netherlands, 1972 Published in: SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Dalen, Dirk van [Author] The Return of the Flowing Continuum Articles View online Schließen > Access https://www.persee.fr/doc/intel_0769-4113_2009_num_51_1_1735 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Published in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 51, n° 1, pp. 135-144
Freudenthal, Hans [Creator] ; Springer, Tonny A. [Editor]; Dalen, Dirk van [Editor] Hans Freudenthal : Selecta Books View online Schließen > Access http://www.ems-ph.org/books/book.php?proj_nr=108 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zürich: European Mathematical Society, [2009] Published in: Heritage of European mathematics
Troelstra, Anne S. [Other]; Dalen, Dirk van [Other] Constructivism in mathematics : Volume 1 ; an introduction Books View online Schließen > Access http://www.sciencedirect.com/science/bookseries/0049237X/121 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: North-Holland, 1988 Published in: Studies in logic and the foundations of mathematics ; v. 121
> Media type Skip to next facet Articles (61) Wert ausschließen Books (23) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (5) Wert ausschließen Stack Collection (5) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (9) Wert ausschließen Departmental Library DrePunct (4) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (32) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (40) Wert ausschließen Show more show less
> Language Skip to next facet English (74) Wert ausschließen Not determined (6) Wert ausschließen German (3) Wert ausschließen French (1) Wert ausschließen Latin (1) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (27) Wert ausschließen Philosophy (16) Wert ausschließen Medicine (12) Wert ausschließen Computer science (4) Wert ausschließen History (3) Wert ausschließen Biology (2) Wert ausschließen Psychology (2) Wert ausschließen General (1) Wert ausschließen Pedagogy (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Dalen, Dirk van (26) Wert ausschließen van Dalen, Dirk (24) Wert ausschließen Van Dalen, Dirk (8) Wert ausschließen Verhoef, Cornelis (7) Wert ausschließen van Dalen, Thijs (7) Wert ausschließen Troelstra, Anne S. (6) Wert ausschließen Dalen, Dirk Van (4) Wert ausschließen Grünhagen, Dirk J. (4) Wert ausschließen van Broekhoven, Danique L. M. (4) Wert ausschließen Eshuis, Wietse J. (3) Wert ausschließen Gouma, Dirk J. (3) Wert ausschließen den Bakker, Michael A. (3) Wert ausschließen van Atten, Mark (3) Wert ausschließen van Dalen, Bas M. (3) Wert ausschließen Boffa, Maurice (2) Wert ausschließen Bonenkamp, Han J. (2) Wert ausschließen Bonenkamp, Johannes J. (2) Wert ausschließen Brouwer, Luitzen E. J. (2) Wert ausschließen Busch, Olivier R.C. (2) Wert ausschließen Duncker, Dirk J. (2) Wert ausschließen Ebbinghaus, Heinz-Dieter (2) Wert ausschließen Heinonen, Ilkka (2) Wert ausschließen Merkus, Daphne (2) Wert ausschließen Monna, A. F. (2) Wert ausschließen Schut, Anne-Rose W. (2) Wert ausschließen Sleijfer, Stefan (2) Wert ausschließen Sorop, Oana (2) Wert ausschließen de Vries, Esther (2) Wert ausschließen van Coevorden, Frits (2) Wert ausschließen van Dalen, Dirk H. (2) Wert ausschließen van Gulik, Thomas M. (2) Wert ausschließen van Houdt, Winan J. (2) Wert ausschließen Acem, Ibtissam (1) Wert ausschließen Alkio, Milla (1) Wert ausschließen Anderson, Peter (1) Wert ausschließen Angèle P. M. Kerckhoffs (1) Wert ausschließen Anten, Monique H M E (1) Wert ausschließen Anttila, Katja (1) Wert ausschließen Beccaria, Franca (1) Wert ausschließen Been, Lukas B (1) Wert ausschließen Been, Lukas B. (1) Wert ausschließen Bemelmans, Marc H A (1) Wert ausschließen Bemelmans, Marc H.A. (1) Wert ausschließen Bezem, Marc (1) Wert ausschließen Blonden, Lau (1) Wert ausschließen Bonenkamp, Han J (1) Wert ausschließen Boom, Dirk Witwe (1) Wert ausschließen Boom, Hendrick (1) Wert ausschließen Boomsma, Martijn F. (1) Wert ausschließen Bovee, Judith V. M. G. (1) Wert ausschließen Bramer, Jos A M (1) Wert ausschließen Bridges, Douglas (1) Wert ausschließen Broen, Martinus P G (1) Wert ausschließen Brunner‐La Rocca, Hans‐Peter (1) Wert ausschließen Bujalski, Michał (1) Wert ausschließen Busch, Olivier R. (1) Wert ausschließen CSL 10 1996 Utrecht (1) Wert ausschließen Celata, Corrado (1) Wert ausschließen Coert, J Henk (1) Wert ausschließen Collard, John G. (1) Wert ausschließen Colombo, Chiara (1) Wert ausschließen Crossley, John N. (1) Wert ausschließen Dale, Antonius van (1) Wert ausschließen DeVries, J. Hans (1) Wert ausschließen Dijkstra, Sander D.S. (1) Wert ausschließen Dirk H. van Dalen (1) Wert ausschließen Edens, Mireille A. (1) Wert ausschließen Emans, Mireille E. (1) Wert ausschließen Engels, Rutger (1) Wert ausschließen Erkamp, Nathan Singh (1) Wert ausschließen Esther de Vries (1) Wert ausschließen European Association for Computer Science Logic (1) Wert ausschließen Flucke, Uta E (1) Wert ausschließen Flucke, Uta E. (1) Wert ausschließen Freudenthal, Hans (1) Wert ausschließen Gelderblom, Hans (1) Wert ausschließen Goldfarb, Warren D. (1) Wert ausschließen Gosselt, Jordy (1) Wert ausschließen Gronchi, Alessandro (1) Wert ausschließen Grunhagen, Dirk J. (1) Wert ausschließen Grünhagen, Dirk J (1) Wert ausschließen Grünhagenl, Dirk J. (1) Wert ausschließen Haas, Rick L. M. (1) Wert ausschließen Hendrick, Rémond (1) Wert ausschließen Hermanides, Jeroen (1) Wert ausschließen Heyting, Arend (1) Wert ausschließen Hinrichs, John W. J. (1) Wert ausschließen Hoekstra, Joost B.L. (1) Wert ausschließen Hofma, Sjoerd H. (1) Wert ausschließen Hoogstrate, Youri (1) Wert ausschließen Husson, Olga (1) Wert ausschließen Hájek, Petr (1) Wert ausschließen Ishihara, Hajime (1) Wert ausschließen Jansma, Christianne Y M N (1) Wert ausschließen Jongbloed, Geurt (1) Wert ausschließen Kerckhoffs, Angèle P. M. (1) Wert ausschließen Kievit, Arthur J (1) Wert ausschließen Klaarwater, Claudia C.R. (1) Wert ausschließen Klop, Jan Willem (1) Wert ausschließen Koops, Heimen Schraffordt (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (19) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (12) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (10) Wert ausschließen JSTOR Mathematics & Statistics (10) Wert ausschließen Elsevier BV (CrossRef) (7) Wert ausschließen JSTOR Arts & Sciences I Archive (5) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (4) Wert ausschließen JSTOR Arts & Sciences II Archive (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen Oxford University Press (OUP) (CrossRef) (3) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences VII Archive (2) Wert ausschließen Steklov Mathematical Institute (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen Persée (1) Wert ausschließen Philosophy Documentation Center (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen Show more show less