A. S. Troelstra

Constructivism in Mathematics Vol. 2

Tijgers op de Ararat

Constructivism in Mathematics, Vol 1

Constructivism in Mathematics, Vol 2 Vol. II

L. E. J. Brouwer Centenary Symposium

Bibliography of natural history travel narratives

Axioms for intuitionistic mathematics incompatible with classical logic

1975

Choice sequences

1977

Computability of terms and notions of realizability for intuitionistic analysis

1971

Constructivism in mathematics

1988

Intuitionistic general topology

1966

Lectures on linear logic

1992

Metamathematical investigation of intuitionistic arithmetic and analysis

1973

Notes on intuitionistic second order arithmetic

1971

Basic proof theory

1996

Principles of intuitionism

1969

Mathematical investigation of intuitionistic arithmetic and analysis