- Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
Der Logische Aufbau der Welt.Rudolf Carnap - 1928 - Hamburg: Meiner Verlag.details
|
|
Introduction to Semantics.Rudolf Carnap - 1942 - Cambridge: Harvard University Press.details
|
|
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Labyrinth of Thought. A history of set theory and its role in modern mathematics.Jose Ferreiros - 2001 - Basel, Boston: Birkhäuser Verlag.details
|
|
Philosophy of mathematics.Paul Benacerraf (ed.) - 1964 - Englewood Cliffs, N.J.,: Prentice-Hall.details
|
|
The logical structure of the world.Rudolf Carnap - 1967 - Berkeley,: University of California Press. Edited by Rudolf Carnap.details
|
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
Thinking about Mathematics. The Philosophy of Mathematics.Mark Balaguer - 2002 - Bulletin of Symbolic Logic 8 (1):89-91.details
|
|
Thinking about mathematics: the philosophy of mathematics.Stewart Shapiro - 2000 - New York: Oxford University Press.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
The philosophy of Rudolf Carnap.Paul Arthur Schilpp (ed.) - 1963 - La Salle, Ill.,: Open Court.details
|
|
The structuralist view of mathematical objects.Charles Parsons - 1990 - Synthese 84 (3):303 - 346.details
|
|
Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.details
|
|
Fixed- versus Variable-domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.details
|
|
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax.S. Awodey & A. W. Carus - 2007 - Synthese 159 (1):23-45.details
|
|
The Philosophy of Rudolf Carnap.Richard C. Jeffrey & Paul Arthur Schilpp - 1966 - Philosophical Review 75 (4):534.details
|
|
Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.details
|
|
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.details
|
|
Carnap, the universality of language and extremality axioms.Jaakko Hintikka - 1991 - Erkenntnis 35 (1-3):325 - 336.details
|
|
Carnap's work in the foundations of logic and mathematics in a historical perspective.Jaakko Hintikka - 1992 - Synthese 93 (1-2):167 - 189.details
|
|
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.details
|
|
On gödel's way in: The influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
Rereading Tarski on logical consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.details
|
|
A Mathematical Introduction to Logic.J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
The Logicism of Frege, Dedekind, and Russell.William Demopoulos & Peter Clark - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 129--165.details
|
|
The classical model of science: A millennia-old model of scientific rationality.Willem R. de Jong & Arianna Betti - 2010 - Synthese 174 (2):185-203.details
|
|
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1957 - Philosophy of Science 24 (1):92-92.details
|
|
Introduction to Semantics.Rudolf Carnap - 1942 - Philosophy of Science 9 (3):281-282.details
|
|
Die logizistische grundlegung der mathematik.Rudolf Carnap - 1931 - Erkenntnis 2 (1):91-105.details
|
|
Über Extremalaxiome.Rudolf Carnap & Friedrich Bachmann - 1936 - Erkenntnis 6 (1):166-188.details
|
|
Bericht über untersuchungen zur allgemeinen axiomatik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):303-307.details
|
|
Abriss der Logistik. [REVIEW]Harry T. Costello - 1930 - Journal of Philosophy 27 (4):109-110.details
|
|
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.details
|
|