Anne S. Troelstra has written at least 1 book. Their most popular book is Basic Proof Theory with 0 saves with an average rating of -⭐.
They are best known for writing in the genre Computers.
Cambridge Tracts in Theoretical Computer Science
1996 • 343 pages