22357517
9780521784528
Out of Stock
The item you're looking for is currently unavailable.
This is an introduction to the basic ideas of structural proof theory, i.e. the theory of formal proofs as combinatorial structures, with cut elimination and normalisation as central tools.Troelstra, A. S. is the author of 'Basic Proof Theory', published 2000 under ISBN 9780521784528 and ISBN 0521784522.
[read more]