Arithmetic, Proof Theory, and Computational Complexity 2 contributors - Hardback £88.00 Find out more
Bounded Arithmetic, Propositional Logic and Complexity Theory Jan Krajícek - Hardback £129.00 Find out more