- Die philosophischen Schriften von Gottfried Wilhelm Leibniz.Gottfried Wilhelm Leibniz & Carl Immanuel Gerhardt - 1875 - Wentworth Press.details
|
|
Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 651--670.details
|
|
Meanings in Ordinary Language and in Mathematics.R. S. D. Thomas - 1991 - Philosophia Mathematica (1):3-38.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.details
|
|
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.details
|
|
(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
(2 other versions)Computability. An Introduction to Recursive Function Theory.H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):292-293.details
|
|
Phenomenology and mathematical practice.Mary Leng - 2002 - Philosophia Mathematica 10 (1):3-14.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Reflections on the proliferous growth of mathematical concepts and tools: Some case histories from mathematicians' workshops.Yehuda Rav - 2005 - In Carlo Cellucci (ed.), Mathematical Discourse vs. Mathematical Intuition. College Publications. pp. 49.details
|
|
Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
The Phenomenology of Mathematical Proof.Gian-Carlo Rota - 1997 - Synthese 111 (2):183-196.details
|
|
Filosofia e matematica.Carlo Cellucci - 2002 - Roma: Editori Laterza.details
|
|
Gaps between logical theory and mathematical practice.John Corcoran - 1973 - In Mario Bunge (ed.), The methodological unity of science. Boston,: Reidel. pp. 23--50.details
|
|
(1 other version)Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.details
|
|
Proof and the evolution of mathematics.Arthur Jaffe - 1997 - Synthese 111 (2):133-146.details
|
|
What is dialectical philosophy of mathematics?Brendan Larvor - 2001 - Philosophia Mathematica 9 (2):212-229.details
|
|
Mathematical engineering and mathematical change.Jean-Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.details
|
|
Proofs and programs.Giuseppe Longo - 2003 - Synthese 134 (1-2):85 - 117.details
|
|
Grundlagen der Analysis. Erganzung zu den Lehrbuchern der Differential- und Integralrechnung.Edmund Landau & F. Steinhardt - 1946 - Journal of Symbolic Logic 11 (4):126-126.details
|
|
Proofs and refutations (II).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (54):120-139.details
|
|
Proofs and refutations (III).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (55):221-245.details
|
|
Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.details
|
|
Some Proposals for Reviving the Philosophy of Mathematics.Reuben Hersh - 1983 - Journal of Symbolic Logic 48 (3):871-872.details
|
|
The mathematical experience.Philip J. Davis - 1981 - Boston: Birkhäuser. Edited by Reuben Hersh & Elena Marchisotto.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - Studia Logica 81 (2):285-289.details
|
|
The Evolution of the Euclidean Elements.Wilbur Richard Knorr - 1975 - Dordrecht, Holland: D. Reidel Publishing Company.details
|
|
Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.details
|
|
The informal logic of mathematical proof.Andrew Aberdein - 2006 - In Reuben Hersh (ed.), 18 Unconventional Essays on the Nature of Mathematics. Springer. pp. 56-70.details
|
|