- Erratum: Christopher Clavius and the Classification of Sciences.[author unknown] - 1990 - Synthese 84 (1):163-163.details
|
|
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.details
|
|
Eudoxos and dedekind: On the ancient greek theory of ratios and its relation to modern mathematics.Howard Stein - 1990 - Synthese 84 (2):163 - 211.details
|
|
Kant's "argument from geometry".Lisa Shabel - 2004 - Journal of the History of Philosophy 42 (2):195-215.details
|
|
The Shaping of Deduction in Greek Mathematics a Study in Cognitive History.Jenz Høyrup - 1999details
|
|
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.details
|
|
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.details
|
|
Nathaniel Miller. Euclid and his twentieth century rivals: Diagrams in the logic of euclidean geometry. Csli studies in the theory and applications of diagrams.John Mumma - 2008 - Philosophia Mathematica 16 (2):256-264.details
|
|
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.details
|
|
Diagrams in mathematics: history and philosophy.John Mumma & Marco Panza - 2012 - Synthese 186 (1):1-5.details
|
|
Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Michael Boylan - 1983 - Philosophy of Science 50 (4):665-668.details
|
|
Philosophy of mathematics and deductive structure in Euclid's Elements.Ian Mueller - 1981 - Mineola, N.Y.: Dover Publications.details
|
|
Philosophy of mathematics and mathematical practice in the seventeenth century.Paolo Mancosu (ed.) - 1996 - New York: Oxford University Press.details
|
|
New essays concerning human understanding.Gottfried Wilhelm Leibniz - 1897 - In Elizabeth Schmidt Radcliffe, Richard McCarty, Fritz Allhoff & Anand Vaidya (eds.), Philosophical Review. Blackwell. pp. 293-297.details
|
|
Kritik der reinen Vernunft.Immanuel Kant - 2020 - Walter de Gruyter GmbH & Co KG.details
|
|
Kant's theory of geometry.Michael Friedman - 1985 - Philosophical Review 94 (4):455-506.details
|
|
New Essays Concerning Human Understanding.Gottfried Wilhelm Leibniz, George M. Duncan & Alfred Gideon Langley - 1897 - Philosophical Review 6 (3):293.details
|
|
Introduction to Geometry. [REVIEW]Howard Levi - 1963 - Journal of Philosophy 60 (1):19-21.details
|
|
Marcus Giaquinto. Visual thinking in mathematics: An epistemological study. [REVIEW]Jeremy Avigad - 2009 - Philosophia Mathematica 17 (1):95-108.details
|
|
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.Nathaniel Miller - 2007 - Center for the Study of Language and Inf.details
|
|
Proclus: A Commentary on the First Book of Euclid's Elements.Glenn R. Morrow (ed.) - 1970 - Princeton University Press.details
|
|
Mathematics in Kant's Critical Philosophy: Reflections on Mathematical Practice.Lisa Shabel - 2002 - New York: Routledge.details
|
|
A treatise concerning the principles of human knowledge, 1734.George Berkeley - 1734 - Menston,: Scolar Press. Edited by George Berkeley.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. pp. 263--299.details
|
|
A Treatise Concerning the Principles of Human Knowledge.George Berkeley - 1901 - The Monist 11:637.details
|
|
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier.details
|
|