- A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.details
|
|
(2 other versions)Sts: A Structural Theory Of Sets.A. Baltag - 1999 - Logic Journal of the IGPL 7 (4):481-515.details
|
|
Principia mathematica.Alfred North Whitehead & Bertrand Russell - 1910 - Cambridge,: University Press. Edited by Bertrand Russell.details
|
|
(1 other version)Sets, classes, and categories. [REVIEW]F. A. Muller - 2001 - Bulletin of Symbolic Logic 9 (1):43-43.details
|
|
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.details
|
|
Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.details
|
|
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.details
|
|
(1 other version)On the Theory of Types.W. V. Quine - 1939 - Journal of Symbolic Logic 4 (1):34-34.details
|
|
(1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
(1 other version)Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.details
|
|
On the consistency of a slight (?) Modification of quine'smew foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.details
|
|
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.details
|
|
On the Consistency of a Slight Modification of Quine's New Foundations.Donald Davidson, Jaakko Hintikka, D. Reidel & W. V. Quine - 1975 - Journal of Symbolic Logic 40 (2):241-242.details
|
|
(2 other versions)STS: A Structural Theory of Sets.Alexandru Baltag - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-34.details
|
|
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.details
|
|
(2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
(1 other version)On the theory of types.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (4):125-139.details
|
|
Natural Models of Set Theories.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-177.details
|
|
Non-Well-founded Sets.J. L. Bell - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.details
|
|