Anne S. Troelstra
Anne S. Troelstra has written at least 2 books. Their most popular book is Constructivism in Mathematics: An Introduction with 1 save with an average rating of -⭐.
They are best known for writing in the genres one, asdfsa, and Asdfsa.
mone, asdfsa, and Asdfsa are their most common moods.
Constructivism in Mathematics: An Introduction
ByDirk van Dalen,Anne S. Troelstra
1988 • 1 Reader
Cambridge Tracts in Theoretical Computer Science
Basic Proof Theory
ByAnne S. Troelstra,H. Schwichtenberg
1996 • 343 pages