, 2016, Saving proof from paradox: Gödel's paradox and the inconsistency of informal mathematics, in H. Andreas & P. Verdée (eds.), Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer, pp. 159-173.