Book chapters

• Jesse Alama and Reinhard Kahle, Checking proofs, in: Andrew Aberdein and Ian Dove and (eds), The Argument of Mathematics, Logic, Epistemology, and the Unity of Science, Springer, Vol. 30, Pag. 147-170, (url), 2013.