Dalen, Dirk van 1932-
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Dalen, D. van (Dirk), 1932-
Dalen, D. van
Dalen, Dirk van
Dirk van Dalen Nederlands wiskundige
Dalen, D. van, 1932-
Dalen, D. van (Dirk)
VIAF ID: 94643220 (Personal)
Permalink: http://viaf.org/viaf/94643220
Preferred Forms
-
200 _ |
‡a
Dalen
‡b
Dirk van
‡f
1932-....
-
100 1 _ ‡a Dalen, D. van
-
100 1 _
‡a
Dalen, D. van
‡q
(Dirk)
-
100 1 _ ‡a Dalen, D. van ‡q (Dirk), ‡d 1932-
-
100 1 _ ‡a Dalen, D. van ‡q (Dirk), ‡d 1932-
-
100 1 _ ‡a Dalen, D. van ‡q (Dirk), ‡d 1932-
-
100 1 _ ‡a Dalen, D. van ‡q (Dirk), ‡d 1932-
-
100 1 _
‡a
Dalen, D. van
‡q
(Dirk),
‡d
1932-
-
100 1 _ ‡a Dalen, D. van, ‡d 1932-
-
100 1 _ ‡a Dalen, Dirk van
-
100 1 _ ‡a Dalen, Dirk van ‡d (1932- )
-
100 1 _ ‡a Dalen, Dirk van ‡d (1932- ).
-
100 1 _
‡a
Dalen, Dirk van
‡d
1932-...
-
100 1 _
‡a
Dalen, Dirk van,
‡d
1932-....
-
100 1 _
‡a
Dalen, Dirk van
‡d
1932-
-
100 1 _
‡a
Dalen, Dirk van
‡d
1932-
-
100 0 _
‡a
Dirk van Dalen
‡c
Nederlands wiskundige
4xx's: Alternate Name Forms (38)
5xx's: Related Names (6)
- 510 2 _
‡a
Mathematisch Instituut
- 510 2 _
‡a
Praca doktorska, Universiteit van Amsterdam
- 510 2 _
‡a
Rijksuniversiteit Utrecht
‡b
Mathematisch Instituut
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Springer Science+Business Media
- 510 2 _
‡a
UU PHIL Theoretische filosofie
- 551 _ _
‡a
Utrecht
‡4
ortw
‡4
https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
| Title | Sources |
|---|---|
| Automatisering : vriend of vijand? |
|
| Brief van Dirk van Dalen (1932-) aan Boudewijn Maria Ignatius Büch (1948-2002) |
|
| Brief van Mathematical Institute, Utrecht geschreven door Dirk van Dalen (1932-) aan Em. Querido's Uitgeverij, Amsterdam |
|
| Brouwer's Cambridge lectures on intuitionism |
|
| Categorical type theory |
|
| Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers |
|
| Constructivism in mathematics |
|
| CSL'96 |
|
| Culture and Cultural Entities : Toward a New Unity of Science |
|
| dawning revolution |
|
| Dirk van Dalen Festschrift |
|
| Droeve snaar, vriend van mij : brieven |
|
| L.E.J. Brouwer en de eenzaamheid van het gelijk |
|
| L. E. J. Brouwer en de grondslagen van de wiskunde |
|
| L.E.J. Brouwer : topologist, intuitionist, philosopher : how mathematics is rooted in life |
|
| Formele logica. Een informele inleiding. |
|
| Foundations of set theory |
|
| Intuitionistic free abelian groups |
|
| Intuïtionistische analyse : een constructief denkraam |
|
| The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 |
|
| Lezioni sull'intuizionismo : Cambridge 1946-51 |
|
| Logic and foundations of mathematics : dedicated to Prof. A[rend] Heyting on his 70th birthday |
|
| Logic and structure |
|
| Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 |
|
| Logic Colloquium '80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic |
|
| Model theory of fields : decidability, and bounds for polynomial ideals |
|
| Mystic, geometer, and intuitionist |
|
| Philosophie intuitionniste et ses conséquences mathématiques |
|
| The scholar and the state : in search of Van der Waerden |
|
| Selecta |
|
| The selected correspondence of L.E.J. Brouwer |
|
| Sets and integration. An outline of the development. |
|
| Sets naïve, axiomatic and applied ; a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students |
|
| Some extensional term models for combinatory logics and [lambda]-calculi |
|
| Some intuitionistic elementary equivalences |
|
| Syllabus logica BS II+ VB |
|
| Torens en fundamenten |
|
| Van mystiek tot wiskunde |
|
| Verzamelingen. |
|
| The war of the frogs and the mice, or, The crisis of the Mathematische Annalen |
|
| Zermelo and the Skolem paradox |
|
| ω-bibliography of mathematical logic |
|
