Description

Book Synopsis
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.

Table of Contents
Preface 1 Introduction 2 Axiomatic calculi 3 Natural deduction 4 Normal deductions 5 The sequent calculus 6 The cut-elimination theorem 7 The consistency of arithmetic 8 Constructive ordinals and induction 9 The consistency of arithmetic, continued Appendices: A The Greek alphabet B Set-theoretic notation C Axioms, rules, and theorems of axiomatic calculi D Exercises on axiomatic derivations E Natural deduction F Sequent calculus G Outline of the cut elimination theorem

An Introduction to Proof Theory Normalization

    Product form

    £29.49

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Tue 28 Jul 2026.

    A Paperback / softback by Paolo Mancosu, Sergio Galvan, Richard Zach

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of An Introduction to Proof Theory Normalization by Paolo Mancosu

      Publisher: Oxford University Press
      Publication Date: Publication Date: 17/08/2021
      ISBN13: 9780192895943, 978-0192895943
      ISBN10: 019289594X

      Description

      Book Synopsis
      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.

      Table of Contents
      Preface 1 Introduction 2 Axiomatic calculi 3 Natural deduction 4 Normal deductions 5 The sequent calculus 6 The cut-elimination theorem 7 The consistency of arithmetic 8 Constructive ordinals and induction 9 The consistency of arithmetic, continued Appendices: A The Greek alphabet B Set-theoretic notation C Axioms, rules, and theorems of axiomatic calculi D Exercises on axiomatic derivations E Natural deduction F Sequent calculus G Outline of the cut elimination theorem

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account