1. Allwein G, Barwise J (eds) (1996) Logical reasoning with diagrams. Oxford University Press, Oxford
2. Azzouni J (2004) The derivation-indicator view of mathematical practice. Philosophia Mathematica (III) 12:81–105
3. Azzouni J (2005) Is there still a sense in which mathematics can have foundations? Essays on the Foundations of Mathematics and Logic 1:9–48
4. Barwise J, Etchemendy J, (1996) Heterogeneous logic. In Gerard Allwein & Jon Barwise (eds.) (1996), pp. 3–25
5. Brown JR (1999) Philosophy of mathematics: an introduction to the world of proofs and pictures. Routledge, New York