1. Allwein, G., & Barwise, J. (Eds.). (1996). Logical reasoning with diagrams. Oxford: Oxford University Press.
2. Barwise, J., & Etchemeny, J. (1996a). Visual information and valid reasoning. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 3–25). Oxford: Oxford University Press.
3. Barwise, J., & Etchemeny, J. (1996b). Heterogeneous logic. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 179–200). Oxford: Oxford University Press.
4. Bourbaki, N. (1949). Foundations of mathematics for the working mathematician. The Journal of Symbolic Logic,
14, 1–8.
5. Bourbaki, N. (1950). The architecture of mathematics. The American Mathematical Monthly,
57, 221–232.