Items related to An Introduction to Proof Theory: Normalization, Cut-Eliminat...
- PublisherOxford University Press
- Publication date2021
- ISBN 10 0192895931
- ISBN 13 9780192895936
- BindingHardcover
- LanguageEnglish
- Number of pages432
Search results for An Introduction to Proof Theory: Normalization, Cut-Eliminat...
Seller Image
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42608012-n
Quantity: 8 available
Stock Image
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780192895936
Quantity: 6 available
Seller Image
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Published by
Oxford University Press, 2021
ISBN 10: 0192895931
ISBN 13: 9780192895936
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42608012
Quantity: 8 available
Stock Image
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580028864
Quantity: Over 20 available
Stock Image
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 432 pages. 9.45x6.30x0.98 inches. In Stock. Seller Inventory # __0192895931
Quantity: 1 available
Stock Image
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780192895936
Quantity: 6 available
Stock Image
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 797. Seller Inventory # B9780192895936
Quantity: Over 20 available
Seller Image
An Introduction to Proof Theory (Hardcover)
Published by
Oxford University Press, Oxford, 2021
ISBN 10: 0192895931
ISBN 13: 9780192895936
New
Hardcover
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 reader's 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 Goedel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deductionand the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal prooftheory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area ofmathematical logic and the philosophy of mathematics. 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 reader's understanding. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780192895936
Quantity: 1 available
Seller Image
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42608012-n
Quantity: Over 20 available
Seller Image
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Published by
Oxford University Press, 2021
ISBN 10: 0192895931
ISBN 13: 9780192895936
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42608012
Quantity: Over 20 available