- Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.details
|
|
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.details
|
|
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.details
|
|
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford, England: Oxford University Press USA.details
|
|
What is Cantor’s continuum problem?Kurt Gödel - 1964 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Englewood Cliffs, NJ, USA: Cambridge University Press. pp. 470–485.details
|
|
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: London.details
|
|
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: Routledge.details
|
|
Set Theory and Its Philosophy: A Critical Introduction.Stewart Shapiro - 2005 - Mind 114 (455):764-767.details
|
|
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.details
|
|
Zermelo's Axiom of Choice. Its Origins, Development, and Influence.Gregory H. Moore - 1984 - Journal of Symbolic Logic 49 (2):659-660.details
|
|
Philosophy of Language.Alexander Miller - 1998 - New York: Routledge.details
|
|
Philosophy of Language.Alexander Miller - 1998 - New York: Mcgill-Queen's University Press.details
|
|
Philosophy of Language.Alexander Miller - 1998 - New York: Routledge.details
|
|
Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.details
|
|
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.details
|
|
Realism, Mathematics, and Modality.Hartry Field - 1988 - Philosophical Topics 16 (1):57-107.details
|
|
Philosophy of mathematics: structure and ontology.Stewart Shapiro - 1997 - New York: Oxford University Press.details
|
|
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.details
|
|
What is Mathematics, Really?Reuben Hersh - 1997 - New York: Oxford University Press.details
|
|
The Philosophy of Programming Languages.G. Graham White - 2004 - In L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Blackwell. pp. 237--247.details
|
|
What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), Truth and Meaning: Essays in Semantics. Oxford: Clarendon Press.details
|
|
What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.details
|
|
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2002 - Philosophy and Phenomenological Research 65 (2):467-475.details
|
|
From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel Guttenplan (ed.), Mind and Language. Oxford University Press.details
|
|
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.details
|
|