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