Sale
Basic Proof Theory
Cambridge University Press
$71.43
$69.67
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
- 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