- From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940.Paolo Mancosu - 2010 - New York: Oxford University Press.details
|
|
Der Logische Aufbau der Welt.Rudolf Carnap - 1928 - Hamburg: Meiner Verlag.details
|
|
Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.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
|
|
Fraenkel-Carnap properties.G. Au George Weaver - 2005 - Mathematical Logic Quarterly 51 (3):285.details
|
|
Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev - 2011 - Australasian Journal of Logic 10:52-66.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe.Alfred Tarski - 1935 - Erkenntnis 5 (1):80-100.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
|
|
Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.details
|
|
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Carnap's Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - In R. Creath (ed.), Vienna Circle Institute Yearbook. Springer Verlag. pp. 13--36.details
|
|
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - Vienna Circle Institute Yearbook 16:13-36.details
|
|
Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.details
|
|
On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.details
|
|
Fixed- versus Variable-domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.details
|
|
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.details
|
|
Submodels in Carnap’s Early Axiomatics Revisited.Iris Loeb - 2014 - Erkenntnis 79 (2):405-429.details
|
|
Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien.A. Lindenbaum & A. Tarski - 1936 - Journal of Symbolic Logic 1 (3):115-116.details
|
|
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax.S. Awodey & A. W. Carus - 2007 - Synthese 159 (1):23-45.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
|
|
Grundzuge der Theoretischen Logik.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (2):83-84.details
|
|
On gödel's way in: The influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.details
|
|
Rudolf Carnap. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 pp. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.details
|
|
Logische Syntax der Sprache.Jörgen Jörgenfen - 1934 - Erkenntnis 4 (1):419-422.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
|
|
Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Einleitung in Die Mengenlehre.Abraham Fraenkel - 1928 - Springer.details
|
|
Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.details
|
|
The semantic tradition from Kant to Carnap: to the Vienna station.Alberto Coffa - 1991 - New York: Cambridge University Press. Edited by Linda Wessels.details
|
|
Carnap and Twentieth-Century Thought: Explication as Enlightenment.A. W. Carus - 2007 - New York: Cambridge University Press.details
|
|
Der logische Aufbau der Welt.Rudolf Carnap - 1928 - Annalen der Philosophie Und Philosophischen Kritik 8:106-107.details
|
|