A. S. Troelstra
6 published titles
Choice sequences : a chapter of intuitionistic mathematics
1 edition
- ISBN: 019853163X
- Clarendon Press
- 1977
- Details
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
(Contributor)
1 edition
- ISBN: 0444864946
- North-Holland
- 1982
- Details
Constructivism in mathematics
1 edition
- ISBN: 0444703586
- North-Holland
- 1988
- Details
Constructivism in mathematics. Vol.1
1 edition
- ISBN: 0444702660
- North-Holland
- 1988
- Details
Lectures on linear logic
1 edition
- ISBN: 0937073776
- Center for the Study of Language and Information
- 1992
- Details
Basic proof theory
2 editions
- ISBN: 0521572231
- Cambridge University Press
- 1996
- Details
- ISBN: 0521779111
- Cambridge University Press
- 2000
- Details
