| The Foundations of Mathematics in the Theory of Sets: Encyclopedia of Mathematics and Its Applications Ser., Vol. 82 |
John P Mayberry |
O Bradley Bassler |
Notre Dame Journal of Formal Logic |
2005-01-01 |
| The Foundations of Mathematics in the Theory of Sets |
John Mayberry |
Roy T. Cook |
The British Journal for the Philosophy of Science |
2003-06-01 |
| The Foundations Of Mathematics In The Theory Of Sets. Encyclopedia Of Mathematics And Its Applications Ser |
J. P. Mayberry |
Colin McLarty |
Philosophy of Science |
2002-06-01 |
| Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way |
Arnold W. Miller |
Tomek Bartoszyński |
The Journal of Symbolic Logic |
1997 |
| The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419 |
Keith Devlin |
H. B. Enderton |
The Journal of Symbolic Logic |
1994 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival |
R. Downey |
The Journal of Symbolic Logic |
1992 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
The Journal of Symbolic Logic |
1991 |
| Classical recursion theory. The theory of functions and sets of natural numbers |
Piergiorgio Odifreddi |
Peter G. Hinman |
The Journal of Symbolic Logic |
1990 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
The Journal of Symbolic Logic |
1982 |
| Admissible sets and structures. An approach to definability theory |
Jon Barwise |
Mark Nadel |
The Journal of Symbolic Logic |
1978 |
| Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1) |
Nicolas Bourbaki (pseudonym) |
Perry Smith |
The Journal of Symbolic Logic |
1975 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). 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 |
James E. Baumgartner |
The Journal of Symbolic Logic |
1972 |
| 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 |
| Carol Karp. A proof of the relative consistency of the continuum hypothesis. 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 |
Leslie H. Tharp |
The Journal of Symbolic Logic |
1970 |
| R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). 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 |
S. K. Thomason |
The Journal of Symbolic Logic |
1970 |
| R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. 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 |
W. A. Howard |
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 |
| J. C. E. Dekker. Regressive isols. 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 |
C. E. Bredlau |
The Journal of Symbolic Logic |
1969-11-17 |
| An Elementary Theory of the Category of Sets |
F William Lawvere |
Florencio Gonzalez Asenjo |
Cuadernos de Filosofía |
1969-07-01 |
| A theory of sets |
Anthony P. Morse |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1968-04-26 |
| Theory of sets |
E. Kamke |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
