Arithmetic, Proof Theory, and Computational Complexity 2 contributors - Hardback £93.00 Find out more