Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science - Troelstra, A. S. (Universiteit van Amsterdam) - Books - Cambridge University Press - 9780521779111 - July 27, 2000
In case cover and title do not match, the title is correct

Troelstra, A. S. (Universiteit van Amsterdam)
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science 2 Revised edition

Price
$ 64.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 5 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

432 pages, 3 b/w illus. 201 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 27, 2000
ISBN13 9780521779111
Publishers Cambridge University Press
Pages 432
Dimensions 153 × 229 × 26 mm   ·   642 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. de
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

Mere med samme udgiver

See all of Troelstra, A. S. (Universiteit van Amsterdam) ( e.g. Paperback Book )