- Shaughan Lavine, Understanding the Infinite.A. W. Moore - 1995 - Philosophia Mathematica 3 (3):294-294.details
|
|
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.details
|
|
Set Theory: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.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
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
The Decision Problem. Solvable Classes of Quantificational Formulas.Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.details
|
|
Georg Cantor, His Mathematics and Philosophy of the Infinite.Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.details
|
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.details
|
|
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
The Roots of Russell's Paradox.Gregory H. Moore - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1):46.details
|
|
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.details
|
|
ontributions to the Founding of the Theory of Transfinite Numbers. [REVIEW]Georg Cantor - 1916 - Ancient Philosophy (Misc) 26:638.details
|
|
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.details
|
|
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.details
|
|
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.details
|
|
From Mathematics to Philosophy.John P. Burgess - 1977 - Journal of Symbolic Logic 42 (4):579-580.details
|
|
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.details
|
|
Cantorian set Theory and Limitation of Size.John Mayberry - 1986 - Philosophical Quarterly 36 (144):429-434.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Historia mathematica, vol. 5-10.[author unknown] - 1983 - Revue d'Histoire des Sciences 36 (3-4):373-376.details
|
|
My Philosophical Development. [REVIEW]G. M. - 1959 - Review of Metaphysics 13 (2):360-360.details
|
|
The method of alternating chains.J. W. Addison - 1965 - In The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 1--16.details
|
|
The Basic Laws of Arithmetic: Exposition of the System.R. H. Stoothoff - 1966 - Philosophical Quarterly 16 (65):395.details
|
|
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.details
|
|
Einige Bemerkungen zu der Abhandlung von E.~Zermelo: ӆber die Definitheit in der Axiomatik'.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad (eds.), Selected works in logic. Oslo,: Universitetsforlaget. pp. 276--9.details
|
|
On some difficulties in the theory of transfinite numbers and order types.Bertrand Russell - 1905 - Proceedings of the London Mathematical Society 4 (14):29-53.details
|
|
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Inner models for set theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.details
|
|
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.details
|
|
Sur la décomposition des ensembles de points en parties respectivement congruentes.Stefan Banach & Alfred Tarski - 1924 - Fundamenta Mathematicae 6:244-277.details
|
|
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.details
|
|
Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.details
|
|
ssays on the Theory of Numbers. [REVIEW]R. Dedekind - 1903 - Ancient Philosophy (Misc) 13:314.details
|
|
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.details
|
|
Vorlesungen über die Algebra der Logik.C. L. Franklin - 1892 - Mind 1 (1):126-132.details
|
|
Powers of regular cardinals.William B. Easton - 1970 - Annals of Mathematical Logic 1 (2):139.details
|
|
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.details
|
|
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details
|
|
Set Theory. An Introduction to Independence Proofs.James E. Baumgartner & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (2):462.details
|
|
Henkin Leon. The completeness of the first-order functional calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.details
|
|
Russian Text Ignored.Petr Vopênka - 1962 - Mathematical Logic Quarterly 8 (3-4):293-304.details
|
|
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.details
|
|