An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
MIA KARTS BOOKS
An Introduction to Proof Theory: Normalization, Cut-Elimi...
Book details
- Format
- Paperback
- Language
- English
- Category
- Logic
- Condition
- New
- ISBN-10
- 019289594X
- Vendor: Mia Karts
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
$49.99 USD
Shipping calculated at checkout.
Available
Free U.S. shipping on all orders. International shipping is calculated at checkout.
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
$49.99 USD
