Publisher
Springer International Publishing
Reference45 articles.
1. Avigad, Jeremy, Edward Dean, and John Mumma. 2009. A formal system for Euclid’s Elements. The Review of Symbolic Logic 2: 700–768.
2. Ayer, Alfred Jules. 1952. Language, truth and logic. New York: Dover.
3. Barwise, John, and John Etchemendy. 1996. Heterogeneous logic. In Logical reasoning with diagrams, ed. Gerard Allwein and John Barwise, 179–200. Oxford: Oxford University Press.
4. Bråting, Kajsa, and Johanna Pejlare. 2008. Visualization in mathematics. Erkenntnis 68: 345–358.
5. Bueno, Otávio. 2016. Visual reasoning in science and mathematics. In Model-based reasoning in science and technology, ed. Lorenzo Magnani and Claudia Casadio, 3–19. Cham: Springer.