Basic Proof Theory by A. S. (Universiteit van Amsterdam) Troelstra (Author)
Sale

Basic Proof Theory

Cambridge University Press
SKU:
9780521779111
|
UPC:
9780521779111
$46.98 $45.82
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
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.


  • | By (Author): A. S. (Universiteit van Amsterdam) Troelstra
  • | Series: Cambridge Tracts in Theoretical Computer Science
  • | Publisher: Cambridge University Press
  • | Publication Date: Jul 27, 2000
  • | Country of Publication: United Kingdom
  • | Number of Pages: 432 pages
  • | Language: Not available
  • | Binding: Paperback|Softback
  • | ISBN-10: 0007233485
  • | ISBN-13: 9780521779111
Additional Information
By (Author):
A. S. (Universiteit van Amsterdam) Troelstra
Publisher:
Cambridge University Press
Publication Date:
Jul 27, 2000
Series:
Cambridge Tracts in Theoretical Computer Science
Country of Publication:
United Kingdom
Number of pages:
432 pages
Binding:
Paperback|Softback
Language:
Not available
ISBN-13:
9780521779111
Related Products