This book on proof theory needs no previous knowledge of proof theory. Avoiding cryptic terminology as much as possible, it starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory.
Read More
This book on proof theory needs no previous knowledge of proof theory. Avoiding cryptic terminology as much as possible, it starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory.
Read Less
Add this copy of Proof Theory to cart. $66.36, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2008 by Springer.
Add this copy of Proof Theory: the First Step Into Impredicativity to cart. $76.92, good condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2008 by Springer.
Add this copy of Proof Theory to cart. $81.75, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2008 by Springer.
Add this copy of Proof Theory to cart. $82.02, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2008 by Springer.
Add this copy of Proof Theory: The First Step Into Impredicativity to cart. $93.53, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2008 by Springer.
Add this copy of Proof Theory: the First Step Into Impredicativity to cart. $122.69, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2008 by Springer.
Add this copy of Proof Theory: the First Step Into Impredicativity to cart. $160.20, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2008 by Springer.