Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference27 articles.
1. Avigad, J., Dean, E., & Mumma, J. (2009). A formal system for Euclid’s elements. The Review of Symbolic Logic (to appear).
2. Azzouni J. (2004) Derivation indicator view of mathematical practice. Philosophia Mathematica, 12(2): 81–106
3. Barwise J., Hammer E. (1996) Diagrams and the concept of a logical system. In: Allwen G., Barwise J. (eds) Logical reasoning with diagrams. Oxford University Press, New York
4. Brown J.R. (1997) Proofs and pictures. British Journal of the Philosophy of Science, 48(2): 161–180
5. Dove I. (2002) Can pictures prove?. Logique & Analyse, 45(179–180): 309–340
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献