Anne S. Troelstra
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.
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.
Series
1 released bookAuthored 33% of series
Cambridge Tracts in Theoretical Computer Science is a 3-book series first released in 1987 with contributions by Gregory Chaitin, Anne S. Troelstra, and 2 others.
