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