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

£28.02

Includes FREE delivery

RRP £29.49 – you save £1.47 (4%)

Order before 4pm tomorrow for delivery by Mon 22 Dec 2025.

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

Out of stock


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

    Publisher: Oxford University Press
    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

    © 2025 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