Anne S. Troelstra has written at least 1 book. Their most popular book is Basic Proof Theory 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.
Series
4 released booksAuthored 0% of series
Cambridge Tracts in Theoretical Computer Science is a 4-book series first released in 1987 with contributions by Gregory Chaitin, N. Shankar, and Anne S. Troelstra.