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: The First Step Into Impredicativity to cart. £68.38, 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. £74.53, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2008 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 374 p. Contains: Unspecified, Illustrations, black & white, Tables, black & white, Figures. Universitext. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Proof Theory: the First Step Into Impredicativity to cart. £91.24, 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. £120.33, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2008 by Springer.
