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