A. S. Troelstra
17 works on record
Works
Basic proof theory
1996
Lectures on linear logic
1992
Constructivism in mathematics
1988
Choice sequences
1977
Metamathematical investigation of intuitionistic arithmetic and analysis
1973
Principles of intuitionism
1969
Axioms for intuitionistic mathematics incompatible with classical logic
1975
Notes on intuitionistic second order arithmetic
1971
Computability of terms and notions of realizability for intuitionistic analysis
1971
Intuitionistic general topology
1966
Constructivism in Mathematics Vol. 2
Tijgers op de Ararat
Constructivism in Mathematics, Vol 1
Constructivism in Mathematics, Vol 2 Vol. II
Bibliography of natural history travel narratives
L. E. J. Brouwer Centenary Symposium
Mathematical investigation of intuitionistic arithmetic and analysis