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