Arithmetic, Proof Theory, and Computational Complexity 2 contributors - Hardback £83.70 was £93.00Find out more
Bounded Arithmetic, Propositional Logic and Complexity Theory Jan Krajícek - Hardback £120.60 was £134.00Find out more
Forcing with Random Variables and Proof Complexity Jan Krajícek - Paperback £50.40 was £56.00Find out more