Anne S. Troelstra

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 genres one, asdfsa, and Asdfsa.

mone, asdfsa, and Asdfsa are their most common moods.

Authorship percentage indicates primary author status - excluding introductions, forewards and other contributions.

Series

4 released books

Authored 0% of series

Cambridge Tracts in Theoretical Computer Science

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.

Algorithmic Information Theory
Metamathematics, Machines and Gödel's Proof
Basic Proof Theory
Modal Logic