Most Popular Books
- Lectures on Linear Logic (Center for the Study of Language and Information - Lecture Notes)
- Constructivism in Mathematics: An Introduction (Volume 1) (Studies in Logic and the Foundations of Mathematics)
- Constructivism in Mathematics : Constructivism in Mathematics: Volume 1
- Basic Proof Theory
- Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics)
Series By Anne S. Troelstra
