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 genre Computers.
Cambridge Tracts in Theoretical Computer Science
1996 • 1 Reader • 343 pages