1.
Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 1990
by Aczel, Peter, Simmons, Harold, W...
ISBN-13: 9780521414135
ISBN-10: 052141413X
List Price: $147.00
2.
Proofs and Computations
by Schwichtenberg, Helmut, Wainer, ...
ISBN-13: 9780521517690
ISBN-10: 0521517699
2011
List Price: $90.00
3.
Recursion Theory: Its Generalisations and Applications, Proceedings of Logic Colloquim '79, ...
by Drake, F. R., Wainer, Stanley S.
ISBN-13: 9780521235433
ISBN-10: 052123543x
Paperback
List Price: $105.00
4.
Proof Theory
by Aczel, Peter, Simmons, Harold, W...
ISBN-13: 9780521054164
ISBN-10: 0521054168
Paperback, 2008
List Price: $61.00
