- The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.details
|
|
Mathematical Reasoning with Diagrams: From Intuition to Automation.Mateja Jamnik - 2001 - Stanford Univ Center for the Study.details
|
|
The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, England: Oxford University Press. pp. 80--133.details
|
|
(2 other versions)Set Theory.H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.details
|
|
Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.details
|
|
Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Science and method.Henri Poincaré - 1952 - New York]: Dover Publications. Edited by Francis Maitland.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.details
|
|
Isabelle/Hol a Proof Assistant for Higher-Order Logic.Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel - 2002 - Berlin and New York: Springer.details
|
|
Mathematical intuition vs. mathematical monsters.Solomon Feferman - 2000 - Synthese 125 (3):317-332.details
|
|
Diagram-Based Geometric Practice.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, England: Oxford University Press. pp. 65--79.details
|
|
Heterogeneous logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.details
|
|
Why do we believe theorems?Andrzej Pelc - 2009 - Philosophia Mathematica 17 (1):84-94.details
|
|
Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Visualization in Logic and Mathematics.Paolo Mancosu - 2005 - In Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Springer. pp. 13-26.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan. pp. 263--299.details
|
|
A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).details
|
|
Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.details
|
|
(2 other versions)In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.details
|
|