We a good story
Quick delivery in the UK

An Introduction to Proof Theory

- Normalization, Cut-Elimination, and Consistency Proofs

About An Introduction to Proof Theory

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780192895943
  • Binding:
  • Paperback
  • Pages:
  • 432
  • Published:
  • August 17, 2021
  • Dimensions:
  • 233x157x26 mm.
  • Weight:
  • 658 g.
  In stock
Delivery: 3-5 business days
Expected delivery: May 4, 2024

Description of An Introduction to Proof Theory

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.

User ratings of An Introduction to Proof Theory



Find similar books
The book An Introduction to Proof Theory can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.