- A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.details
|
|
Feasibility In Logic.Jacques Dubucs - 2002 - Synthese 132 (3):213-237.details
|
|
(1 other version)The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.details
|
|
A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
Mathematics as a Science of Patterns.Michael D. Resnik - 1997 - Oxford, GB: Oxford University Press UK.details
|
|
Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).details
|
|
Bemerkungen zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.details
|
|
Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.details
|
|
Naturalizing mathematical methodology.Penelope Maddy - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Holistic mathematics.Michael D. Resnik - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 227--46.details
|
|
Mathematical progress.Philip Kitcher - 1988 - Revue Internationale de Philosophie 42 (167):518-540.details
|
|
On logical omniscience.Jacques Dubucs - 1991 - Logique Et Analyse 133 (133-140):41-55.details
|
|
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.details
|
|
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details
|
|
(1 other version)Conjunction and Contonktion Revisited.A. Prior - 1964 - Analysis 24 (6):191 - 195.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
(4 other versions)The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
Is There a Problem About Substitutional Quantification?Saul A. Kripke - 1976 - In Gareth Evans & John McDowell (eds.), Truth and meaning: essays in semantics. Oxford [Eng.]: Clarendon Press. pp. 324-419.details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Aristotle's modal syllogisms.Storrs McCall - 1963 - Amsterdam,: North-Holland Pub. Co..details
|
|
Realism, Mathematics & Modality.Hartry H. Field - 1989 - New York, NY, USA: Blackwell.details
|
|
Knowledge of Language: Its Nature, Origin, and Use.Noam Chomsky - 1986 - Prager. Edited by Darragh Byrne & Max Kölbel.details
|
|
Principia Mathematica Vol. I.Bertrand Russell & Alfred North Whitehead - 1910 - Cambridge University Press.details
|
|
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
(2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
The ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge: Harvard University Press.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
Thinking about mathematics: the philosophy of mathematics.Stewart Shapiro - 2000 - New York: Oxford University Press.details
|
|
(1 other version)The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.details
|
|
An introduction to the philosophy of science.Rudolf Carnap - 1974 - New York: Dover Publications. Edited by Martin Gardner.details
|
|
Thinking about logic: an introduction to the philosophy of logic.Stephen Read - 1994 - New York: Oxford University Press.details
|
|
Unpublished philosophical essays.Kurt Gödel - 1995 - Boston: Birkhäuser Verlag. Edited by Francisco A. Rodríguez-Consuegra.details
|
|
(1 other version)Pursuit of truth.Willard Van Orman Quine - 1990 - Cambridge: Harvard University Press.details
|
|
(1 other version)Frege.Michael Dummett - 1981 - Cambridge: Harvard University Press.details
|
|
(3 other versions)Perception and its objects.Peter F. Strawson - 1988 - In Jonathan Dancy (ed.), Perceptual knowledge. New York: Oxford University Press.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.details
|
|
(1 other version)From stimulus to science.Willard Van Orman Quine - 1992 - Cambridge: Harvard University Press.details
|
|
(1 other version)Philosophy of logic.Willard Van Orman Quine - 1986 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Logicism, structuralism and objectivity.Elaine Landry - 2001 - Topoi 20 (1):79-95.details
|
|
Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.details
|
|