Sale
- Vendor: Mia Karts
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
$62.98 USD
$47.77 USD
Just 5 left. Order soon!
Free U.S. shipping on all orders. Free international shipping on orders over $99
All orders are dispatched the next business day!
Competitive Pricing You Can Trust — Quality You Can Rely On.
ISBN: 019289594X
Author: Mancosu, Paolo
Condition: New
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the readers understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the G
Have a question?
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
$62.98 USD
$47.77 USD