1.
Arithmetic, Proof Theory, and Computational Complexity
by Clote, Peter, Krajicek, Jan
ISBN: 9780198536901
List Price: $199.00
2.
Bounded Arithmetic, Propositional Logic and Complexity Theory
by Krajicek, Jan, Rota, G. -C....
ISBN: 9780521452052
List Price: $158.00