We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Basic Proof Theory

Basic Proof Theory

By A. S. (Universiteit van Amsterdam) Troelstra

part of the Cambridge Tracts in Theoretical Computer Science series

Basic Proof Theory by A. S. (Universiteit van Amsterdam) Troelstra
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 27, 2000
  • Edition:
  • 2
  • Dimensions:
  • 153x229x26 mm.
  • Weight:
  • 642 g.
  In stock
Delivery: 3-5 business days
Expected delivery: October 7, 2024

About A. S. (Universiteit van Amsterdam) Troelstra

View all books by A. S. (Universiteit van Amsterdam) Troelstra

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



Others also bought..
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.