This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Proof and Computation 2011, Springer

ISBN-13: 9783642793639

Softcover Reprint of the Origi edition

Trade paperback

Select
Proof and Computation 1995, Springer, Berlin, Germany

ISBN-13: 9783540585817

Hardcover

Select