- 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
|
|
Philosophie mathématique.Jean Cavaillès - 1965 - Revue Philosophique de la France Et de l'Etranger 155:240-240.details
|
|
Sequence [Laetabundi jubilemus].[author unknown] - 1967 - Mediaeval Studies 29:344-350.details
|
|
Historia mathematica, vol. 5-10.[author unknown] - 1983 - Revue d'Histoire des Sciences 36 (3-4):373-376.details
|
|
Gesammelte Abhandlungen mathematischen und philosophischen Inhaltes.Georg Cantor & E. Zermelo - 1939 - Journal of Unified Science (Erkenntnis) 8 (1):182-183.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
|
|
Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. [REVIEW]Paul Weiss - 1934 - Philosophical Review 43 (2):214-215.details
|
|
Contributions to the Founding of the Theory of Transfinite Numbers.Cassius J. Keyser - 1916 - The Monist 26:638.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
Schröder Ernst. Vorlesungen über die Algebra der Logik . Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp. [REVIEW]Paul Bernays - 1975 - Journal of Symbolic Logic 40 (4):609-614.details
|
|
A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.details
|
|
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.details
|
|
Set Theory. An Introduction to Independence Proofs.James E. Baumgartner & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (2):462.details
|
|
Review: Alexander S. Kechris, Alain Louveau, Descriptive Set Theory and the Structure of Sets of Uniqueness. [REVIEW]Miklos Ajtai - 1991 - Journal of Symbolic Logic 56 (1):344-345.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.Петр Вопенка - 1962 - Mathematical Logic Quarterly 8 (3-4):293-304.details
|
|
Sur la décomposition des ensembles de points en parties respectivement congruentes.Stefan Banach & Alfred Tarski - 1924 - Fundamenta Mathematicae 6:244-277.details
|
|
Vorlesungen über die algebra der logik.Ernst Schröder, Jakob Lüroth & Karl Eugen Müller - 1890 - Leipzig: B. G. Teubner. Edited by Jakob Lüroth & Karl Eugen Müller.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 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
|
|
"Remarks on the Foundations of Mathematics". By Ludwig Wittgenstein.G. D. Duthie - 1957 - Philosophical Quarterly 7 (29):368-373.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
From Mathematics to Philosophy.John P. Burgess - 1977 - Journal of Symbolic Logic 42 (4):579-580.details
|
|
[Russian Text Ignored.].Petr Vopênka - 1962 - Mathematical Logic Quarterly 8 (3‐4):293-304.details
|
|
Russian Text Ignored.Petr Vopênka - 1962 - Mathematical Logic Quarterly 8 (3-4):293-304.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
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.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
|
|
The Basic Laws of Arithmetic: Exposition of the System.R. H. Stoothoff - 1966 - Philosophical Quarterly 16 (65):395.details
|
|
Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.details
|
|
Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
Inner models for set theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.details
|
|
Inner models for set theory—Part II.J. C. Shepherdson - 1952 - Journal of Symbolic Logic 17 (4):225-237.details
|
|
Inner models for set theory – Part III.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (2):145-167.details
|
|
Can You Take Solovay's Inaccessible Away?Saharon Shelah & Jean Raisonnier - 1989 - Journal of Symbolic Logic 54 (2):633-635.details
|
|
Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.details
|
|
A Proof of the Independence of the Continuum Hypothesis.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):293-293.details
|
|
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.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
|
|
On Some Difficulties in the Theory of Transfinite Numbers and Order Types. [REVIEW]Harold Chapman Brown - 1906 - Journal of Philosophy, Psychology and Scientific Methods 3 (14):388-390.details
|
|
Essays in Analysis. [REVIEW]Stephen Read - 1974 - Philosophical Quarterly 24 (95):181-184.details
|
|
Equivalents of the Axiom of Choice, II.Herman Rubin & Jean E. Rubin - 1987 - Journal of Symbolic Logic 52 (3):867-869.details
|
|
On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.details
|
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.details
|
|
‘Ich habe mich Wohl gehütet, alle patronen auf einmal zu verschießen’. Ernst zermelo in göttingen.Volker Peckhaus - 1990 - History and Philosophy of Logic 11 (1):19-58.details
|
|
Collected Works.J. Herbrand - 1971 - Harvard University Press.. Edited by W. Goldfarb.details
|
|
An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.details
|
|