No products in the cart.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
We use cookies to help you navigate efficiently and perform certain functions. You will find detailed information about all cookies under each consent category below.
The cookies that are categorized as "Necessary" are stored on your browser as they are essential for enabling the basic functionalities of the site. ...
Necessary cookies are required to enable the basic features of this site, such as providing secure log-in or adjusting your consent preferences. These cookies do not store any personally identifiable data.
Functional cookies help perform certain functionalities like sharing the content of the website on social media platforms, collecting feedback, and other third-party features.
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics such as the number of visitors, bounce rate, traffic source, etc.
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Advertisement cookies are used to provide visitors with customized advertisements based on the pages you visited previously and to analyze the effectiveness of the ad campaigns.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
1 in stock
£27.49
Buy new:
Delivery: UK delivery Only. Usually dispatched in 1-2 working days.
Shipping costs: All shipping costs calculated in the cart or during the checkout process.
Standard service (normally 2-3 working days): 48hr Tracked service.
Premium service (next working day): 24hr Tracked service – signature service included.
Royal mail: 24 & 48hr Tracked: Trackable items weighing up to 20kg are tracked to door and are inclusive of text and email with ‘Leave in Safe Place’ options, but are non-signature services. Examples of service expected: Standard 48hr service – if ordered before 3pm on Thursday then expected delivery would be on Saturday. If Premium 24hr service used, then expected delivery would be Friday.
Signature Service: This service is only available for tracked items.
Leave in Safe Place: This option is available at no additional charge for tracked services.
| Product ID: | 9780192895943 |
| Product Form: | Paperback / softback |
| Country of Manufacture: | GB |
| Title: | An Introduction to Proof Theory |
| Subtitle: | Normalization, Cut-Elimination, and Consistency Proofs |
| Authors: | Author: Paolo Mancosu, Sergio Galvan, Richard Zach |
| Page Count: | 432 |
| Subjects: | Philosophy, Philosophy, Philosophy: logic, Mathematical logic, Philosophy: logic, Mathematical logic |
| Description: | Select Guide Rating 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. 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. |
| Imprint Name: | Oxford University Press |
| Publisher Name: | Oxford University Press |
| Country of Publication: | GB |
| Publishing Date: | 2021-08-17 |
GoBookshop!
Proudly owned and operated by:
Raythex LTD
17-19 Saint Georges Street
NORWICH
NR3 1AB
Registered No. 15042401
We accept the following payment methods:
