Showing 1 - 2 of 2 Results
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