- A survey of symbolic logic.Clarence Irving Lewis - 1918 - New York,: Dover Publications. Edited by Gottfried Wilhelm Leibniz.details
|
|
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.details
|
|
Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Kurt Gödel - 1940 - Princeton, NJ, USA: Princeton University Press. Edited by George William Brown.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):207-208.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
Dear Carnap, Dear Van: The Quine--Carnap Correspondence and Related Work.W. V. Quine - 1993 - Philosophical Quarterly 43 (170):121.details
|
|
Who were the american postulate theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Who were the American Postulate Theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
The Principles of Mathematics.Bertrand Russell & Susanne K. Langer - 1938 - Philosophy 13 (52):481-483.details
|
|
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Set-theoretic foundations for logic.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (2):45-57.details
|
|
Introduction to Logic and to the Methodology of Deductive Sciences. [REVIEW]E. N. - 1941 - Journal of Philosophy 38 (6):164.details
|
|
Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. [REVIEW]Gregory Moore - 2010 - Isis 101:895-896.details
|
|
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.details
|
|
The Structure of Scientific Revolutions.David Bohm - 1964 - Philosophical Quarterly 14 (57):377-379.details
|
|
Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics. [REVIEW]Akihiro Kanamori - 2001 - Bulletin of Symbolic Logic 7 (2):277-278.details
|
|
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
Diskussion zur grundlegung der mathematik.Kurt Gödel - 1931 - Erkenntnis 2 (1):135-151.details
|
|
Traditional logic and the early history of sets, 1854-1908.José Ferreirós - 1996 - Archive for History of Exact Sciences 50 (1):5-71.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.details
|
|
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
Die logizistische grundlegung der mathematik.Rudolf Carnap - 1931 - Erkenntnis 2 (1):91-105.details
|
|
A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.details
|
|
A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.details
|
|
On the Syllogism, No. Iv. And on the Logic of Relations.Augustus De Morgan - 1860 - Printed by C.J. Clay at the University Press.details
|
|
On the Syllogism, No. Iii. And on Logic in General.Augustus De Morgan - 1858 - Printed by C.J. Clay at the University Press.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
The way of logic into mathematics.Volker Peckhaus - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):39-64.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Notes on types, sets, and logicism, 1930-1950.José Ferreiros - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):91-124.details
|
|
Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.details
|
|
Introduction to Logic and to the Methodology of Deductive Sciences. [REVIEW]N. E. - 1941 - Journal of Philosophy 38 (6):164-165.details
|
|
Teleology Revisited.Ernest Nagel - 1977 - Journal of Philosophy 74.details
|
|
Formale Logik.I. M. BOCHENSKI - 1956 - Revue de Métaphysique et de Morale 62 (1):104-105.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
The Mathematical Analysis of Logic.George Boole - 1950 - Philosophy 25 (95):350-353.details
|
|
Elements of logic.Richard Whately - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):720-720.details
|
|
[Omnibus Review].Alonzo Church - 1945 - Journal of Symbolic Logic 10 (4):132-133.details
|
|
Living together and living apart. On the interactions between mathematics and logics from the French Revolution to the First World War.Ivor Grattan-Guinness - 1988 - South African Journal of Philosophy 7 (2):73-82.details
|
|