| Set Theory: An Introduction to Large Cardinals |
Frank R. Drake |
Azriel Levy |
The Journal of Symbolic Logic |
1978 |
| Formal Set Theory |
G B Keene |
D E Over |
Mind |
1976-07-01 |
| Set Theory: An Introduction to Large Cardinals |
F. R. Drake |
John Bell |
The British Journal for the Philosophy of Science |
1976-06-01 |
| Set theory |
Charles C. Pinter |
Paul C. Eklof |
The Journal of Symbolic Logic |
1976 |
| Set theory |
Shwu-Yeng T Lin |
Martin Helling |
The Journal of Symbolic Logic |
1976 |
| Foundations of Set Theory |
Abraham Fraenkel |
J. L. Bell |
The British Journal for the Philosophy of Science |
1975-06-01 |
| Set Theory: An Introduction to Large Cardinals |
Frank R Drake |
José P Úbeda |
Teorema |
1975-01-01 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| Set theory. English translation of XL 649(4) by M. Maczynski |
K. Kuratowski and A. Mostowski |
H. B. Enderton |
The Journal of Symbolic Logic |
1975 |
| Models of ZF-set theory |
Ulrich Felgner |
Frank R. Drake |
The Journal of Symbolic Logic |
1975 |
| Foundations of Set Theory |
Abraham A Fraenkel |
M Magidor |
|
1974-04-01 |
| Simplified independence proofs. Boolean valued models of set theory |
J. Barkley Rosser |
Aleksander Rutkowski |
The Journal of Symbolic Logic |
1974 |
| Introduction to axiomatic set theory |
G. Takeuti and W. M. Zaring |
F. R. Drake |
The Journal of Symbolic Logic |
1973 |
| Mathematical Logic and Foundations of Set Theory |
Y Bar-Hillel |
F. R. Drake |
Synthese |
1972-03-00 |
| Set Theory and its Logic |
Willard Van Orman Quine |
G. T. Kneebone |
The Journal of Symbolic Logic |
1972 |
| Set theory |
K Kuratowski |
John Woods |
Philosophy of Science |
1971-06-01 |
| Abstract sets and finite ordinals. An introduction to the study of set theory |
G. B. Keene |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Abstract set theory |
Thoralf A. Skolem |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| On Set Theoretical Foundations of System Theory: A Study of the State Concept |
Sampo Salovaara |
L A Zadeh |
The Journal of Symbolic Logic |
1970-12-01 |
| Logic by Way of Set Theory |
Henry Ehlers |
V H Dudman |
Australasian Journal of Philosophy |
1970-05-01 |
| Set Theory and its Logic (Revised Ed) |
V O Quine |
Donald A Martin |
The Journal of Philosophy |
1970-02-01 |
| Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
F. R. Drake |
The Journal of Symbolic Logic |
1970 |
| Set theory |
Paul J Cohen |
William Craig |
The Journal of Symbolic Logic |
1970 |
| R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
Frank R. Drake |
The Journal of Symbolic Logic |
1970 |
| Logic by Way of Set Theory |
H. Ehlers |
J. R. Chidgey |
The British Journal for the Philosophy of Science |
1969-08-01 |
| Some applications of the theory of models to set theory |
H. Jerome Keisler |
Azriel Lévy |
The Journal of Symbolic Logic |
1967-10-09 |
| Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Joel W. Robbin |
The Journal of Symbolic Logic |
1967 |
| The notion of rank in set-theory |
Dana Scott |
A. Hajnal |
The Journal of Symbolic Logic |
1966 |
| Recursive ordinals and predicative set theory |
Clifford Spector |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| Some problems and results relevant to the foundations of set theory |
Alfred Tarski |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| Between number theory and set theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Set Theory and Its Logic. By Willard Van Orman Quine |
Quine Willard Van Orman |
John Heintz |
Dialogue |
1964-12-01 |
| Set Theory and its Logic |
Willard Van Orman Quine |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Foundations of set theory |
Abraham A. Fraenkel and Yehoshua Bar-Hillel |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1964 |
| Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959) |
J. W. Addison |
Donald L. Kreider |
The Journal of Symbolic Logic |
1964 |
| Abstract set theory |
Abraham A. Fraenkel |
Alonzo Church |
The Journal of Symbolic Logic |
1963 |
| Axiomatic set theory |
Patrick Suppes |
Azriel Levy |
Philosophy of Science |
1962-01-01 |
| Naive set theory |
Paul R. Halmos |
J. Richard Büchi |
Philosophy of Science |
1961-10-01 |
| Axiomatic set theory |
Paul Bernays |
Elliott Mendelson |
The Journal of Symbolic Logic |
1959 |
| The relative strength of Zermelo's set theory and Quine's New Foundations |
J. Barkley Rosser |
Václav E. Beneš |
The Journal of Symbolic Logic |
1957 |
| Abstract set theory |
Abraham A. Fraenkel |
Robert McNaughton |
The Journal of Symbolic Logic |
1955 |
| Abstract set theory |
Abraham A. Fraenkel |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1953-07-00 |
| The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory |
Thomas J Jech |
Leon Henkin |
The Journal of Symbolic Logic |
1952 |
| The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory |
Kurt Gödel |
Paul Bernays |
The Journal of Symbolic Logic |
1941 |
