1. Avigad J.: ‘Mathematical Method and Proof’. Synthese 53(1), 105–159 (2006)
2. Avigad, J., E. Dean, and J. Mumma, ‘A formal system for Euclid’s Elements’, (unpublished draft).
3. Azzouni J.: ‘Is there still a sense in which mathematics can have foundations?’. In: Sica, G. (ed.) Essays on the foundations of mathematics and logic, Polimetrica, Milano (2005)
4. Azzouni J.: Tracking Reason: Proof, Consequence and Truth. Oxford University Press, New York (2006)
5. Barwise J., Etchemendy J.: ‘Visual Information and Valid Reasoning’. In: Allwein, G., Barwise, J. (eds) Logical Reasoning with Diagrams, Oxford University Press, New York (1996)