A. S. Troelstra

• Basic proof theory
• Choice sequences
• Constructivism in mathematics
• Lectures on linear logic
• Metamathematical investigation of intuitionistic arithmetic and analysis
• Principles of intuitionism
• Axioms for intuitionistic mathematics incompatible with classical logic
• Bibliography of natural history travel narratives
• Computability of terms and notions of realizability for intuitionistic analysis
• Constructivism in Mathematics Vol. 2
• Constructivism in Mathematics, Vol 1
• Constructivism in Mathematics, Vol 2 Vol. II