D. van Dalen
6 published titles
Constructivism in mathematics. Vol.1
(Contributor)
1 edition
- ISBN: 0444702660
- North-Holland
- 1988
- Details
Computer science logic : 10th international workshop, CSL'96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
(Contributor)
1 edition
- ISBN: 3540631720
- Springer
- 1997
- Details
Mystic, geometer, and intuitionist : the life of L.E.J. Brouwer
1 edition
- ISBN: 9780198516200
- Clarendon Press
- 1999
- Details
The selected correspondence of L.E.J. Brouwer
(Contributor)
1 edition
- ISBN: 9780857295279
- Springer
- 2011
- Details
L.E.J. Brouwer : topologist, intuitionist, philosopher
1 edition
- ISBN: 9781447146155
- Springer
- 2013
- Details
Logic and structure
1 edition
- ISBN: 9781447145578
- Springer
- 2013
- Details
