Items related to An Introduction to Proof Theory: Normalization, Cut-Eliminat...
- PublisherOxford University Press
- Publication date2021
- ISBN 10 019289594X
- ISBN 13 9780192895943
- BindingPaperback
- LanguageEnglish
- Number of pages432
- Rating
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 # 42608013-n
Quantity: 5 available
Stock Image
AN INTRODUCTION TO PROOF THEORY
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-322751
Quantity: 2 available
Seller Image
Introduction to Proof Theory : Normalization, Cut-elimination, and Consistency Proofs
Published by
Oxford University Press, 2021
ISBN 10: 019289594X
ISBN 13: 9780192895943
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42608013
Quantity: 5 available
Stock Image
An Introduction to Proof Theory
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780192895943
Quantity: 15 available
Stock Image
An Introduction to Proof Theory
Published by
Oxford University Press OUP, 2021
ISBN 10: 019289594X
ISBN 13: 9780192895943
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 432. Seller Inventory # 26388007223
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 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780192895943
Quantity: 15 available
Stock Image
An Introduction to Proof Theory
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 432. Seller Inventory # 391592680
Quantity: 1 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
Paperback. Condition: Brand New. 432 pages. 9.21x6.18x0.98 inches. In Stock. Seller Inventory # __019289594X
Quantity: 1 available
Seller Image
An Introduction to Proof Theory (Paperback)
Published by
Oxford University Press, Oxford, 2021
ISBN 10: 019289594X
ISBN 13: 9780192895943
New
Paperback
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 # 9780192895943
Quantity: 1 available
Stock Image
An Introduction to Proof Theory
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 432. Seller Inventory # 18388007229
Quantity: 1 available