Order Total (1 Item Items):
Shipping Destination:
Introduction Proof Theory Normalization by Mancosu Paolo (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (11)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (11)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 019289594X ISBN 13: 9780192895943
Condition: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
-
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 019289594X ISBN 13: 9780192895943
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Association Member: ABA ILAB PBFA
Seller rating 4 out of 5 stars
First Edition
Paperback. Condition: New. First Edition. In new condition: firm and square with strong joints, no creases. Looks and feels unread. Thus the contents are crisp, fresh and tight. And so a very nice book in great condition, now offered for sale at a reasonable price.
-
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 019289594X ISBN 13: 9780192895943
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Paperback. Condition: Brand New. 432 pages. 9.21x6.18x0.98 inches. In Stock.
-
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 019289594X ISBN 13: 9780192895943
Paperback. Condition: Neu. Neu Neuware, Importqualität, auf Lager - 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.
-
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Condition: New.
-
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Condition: As New. Unread book in perfect condition.
-
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 115.66
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 117.28
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press, 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 123.48
£ 18.72 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Hardcover. Condition: Brand New. 432 pages. 9.45x6.30x0.98 inches. In Stock.
-
Hardcover. Condition: Brand New. 432 pages. 9.45x6.30x0.98 inches. In Stock. This item is printed on demand.
-
Introduction to Proof Theory | Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press(UK), 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Buch. Condition: Neu. Introduction to Proof Theory | Normalization, Cut-Elimination, and Consistency Proofs | Paolo Mancosu (u. a.) | Buch | Gebunden | Englisch | 2021 | Oxford University Press(UK) | EAN 9780192895936 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Language: English
Published by Oxford University Press(UK), 2021
ISBN 10: 0192895931 ISBN 13: 9780192895936
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and 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 proof theory, 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 of mathematical logic and the philosophy of mathematics.
