Most Popular Books
- Lectures on Linear Logic (Center for the Study of Language and Information - Lecture Notes)
- Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)
- 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
Series By Anne S. Troelstra