- Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.details
|
|
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
|
|
Basic Laws of Arithmetic.Gottlob Frege - 1893 - Oxford, U.K.: Oxford University Press. Edited by Philip A. Ebert, Marcus Rossberg & Crispin Wright.details
|
|
Essays on the Theory of Numbers: I. Continuity and Irrational Numbers, Ii. The Nature and Meaning of Numbers.Richard Dedekind - 1901 - Chicago, IL, USA: Open Court.details
|
|
Russell's Metaphysical Logic.[author unknown] - 2001 - Tijdschrift Voor Filosofie 63 (1):176-177.details
|
|
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s.Dennis E. Hesseling - 2003 - Birkhauser.details
|
|
Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.details
|
|
A survey of symbolic logic.Clarence Irving Lewis - 1918 - New York,: Dover Publications. Edited by Gottfried Wilhelm Leibniz.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
Der Logische Aufbau der Welt.Rudolf Carnap - 1928 - Hamburg: Meiner Verlag.details
|
|
Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.details
|
|
Das unendliche in der mathematik und seine ausschaltung.Felix Kaufmann - 1930 - und Wien,: F. Deuticke.details
|
|
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.details
|
|
The search for certainty: a philosophical account of foundations of mathematics.Marcus Giaquinto - 2002 - New York: Oxford University Press.details
|
|
Les fondements des mathématiques.A. Heyting - 1955 - Paris,: Gauthier-Villars.details
|
|
A Treatise of Universal Algebra with Applications.Alfred North Whitehead - 1898 - Cambridge, England: Cambridge University Press.details
|
|
Essays in Analysis.Bertrand Russell - 1973 - London, England: Allen & Unwin.details
|
|
Labyrinth of Thought. A history of set theory and its role in modern mathematics.Jose Ferreiros - 2001 - Basel, Boston: Birkhäuser Verlag.details
|
|
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.details
|
|
Philosophy of mathematics.Paul Benacerraf (ed.) - 1964 - Englewood Cliffs, N.J.,: Prentice-Hall.details
|
|
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.details
|
|
Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Essays in analysis.Bertrand Russell - 1973 - London,: Allen & Unwin.details
|
|
History of logic.Anton Dumitriu - 1977 - Tunbridge Wells: Abacus Press.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.details
|
|
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.details
|
|
Über die Neue Grundlagenkrise der Mathematik.Hermann Weyl - 1957 - Journal of Symbolic Logic 22 (1):81-82.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
|
|
A Logical Journey: From Gödel to Philosophy.Hao Wang - 1996 - Bradford.details
|
|
Zermelo and the Skolem paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.details
|
|
Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.details
|
|
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):116-117.details
|
|
On the Calculus of Relations.Alfred Tarski - 1942 - Journal of Symbolic Logic 7 (1):38-38.details
|
|
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.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
|
|
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.details
|
|
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.details
|
|
Metatheory and Mathematical Practice in Frege.Jamie Tappenden - 1997 - Philosophical Topics 25 (2):213-264.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.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
|
|
C. I. Lewis. Emch's calculus and strict implication. The journal of symbolic logic, vol. 1 (1936), pp. 77–86.Jerzy Slupecki - 1937 - Journal of Symbolic Logic 2 (1):46-46.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.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
|
|