Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Featured Series
1 released bookCambridge Tracts in Theoretical Computer Science is a 1-book series first released in 1996 with contributions by Anne S. Troelstra and H. Schwichtenberg.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
