We a good story
Quick delivery in the UK
About Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521779111
  • Binding:
  • Paperback
  • Pages:
  • 432
  • Published:
  • July 26, 2000
  • Edition:
  • 2
  • Dimensions:
  • 153x229x26 mm.
  • Weight:
  • 642 g.
Delivery: 1-2 weeks
Expected delivery: December 7, 2024

Description of Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

User ratings of Basic Proof Theory



Find similar books
The book Basic 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.