Ackermann, W. (1956). Zur Axiomatik der Mengenlehre. Mathematische Annalen 131:336--345.
Aczel, P. (1988). Non-Well-Founded Sets. Center for the Study of Language and Information, Stanford, CA.
Akman, V. (1992). Undaunted Sets. SIGACT News 23:47--48.
Allgayer, J. (1990). SB-ONE
---Dealing with Sets Efficiently. In
Aiello, L. C. (ed.) Proceedings of Ninth European Conference on
Artificial Intelligence, 13--18, Pitman, London.
Barwise, J. (1975). Admissible Sets and Structures. Springer-Verlag, Berlin.
Barwise, J. (1977). An Introduction to First-Order Logic. In Barwise, J. (ed.) Handbook of Mathematical Logic, 5--46, North-Holland, Amsterdam.
Barwise, J. (1985). Model-Theoretic Logics: Background and Aims. In Barwise, J. and Feferman, S. (eds.) Model-Theoretic Logics, 3--23, Springer-Verlag, New York.
Barwise, J. (1989a). Situations, Sets, and the Axiom of Foundation. In The Situation in Logic, 177--200, Center for the Study of Language and Information, Stanford, CA.
Barwise, J. (1989b). Situated Set Theory. In The Situation in Logic, 289--292, Center for the Study of Language and Information, Stanford, CA.
Barwise, J. (1989c). AFA and the Unification of Information. In The Situation in Logic, 277--283, Center for the Study of Language and Information, Stanford, CA.
Barwise, J. (1989d). On the Model Theory of Common Knowledge. In The Situation in Logic, 201--220, Center for the Study of Language and Information, Stanford, CA.
Barwise, J. (1990). Consistency and Logical Consequence. In Dunn, J. M. and Gupta, A. (eds.) Truth or Consequences, 111--122, Kluwer, Dordrecht, Holland.
Barwise, J. and Etchemendy, J. (1987). The Liar: An Essay on Truth and Circularity. Oxford University Press, New York.
Barwise, J. and Moss, L. (1991). Hypersets. Mathematical Intelligencer, 13:31--41.
Barwise, J. and Perry, J. (1983). Situations and Attitudes. MIT Press, Cambridge, MA.
Bernays, P. (1937). A System of Axiomatic Set Theory, I. Journal of Symbolic Logic 2:65--77. (II. ibid. 6:1--17, 1941. III. ibid. 7:65--89, 1942. IV. ibid. 7:133--145, 1942, V. ibid. 8:89--104, 1943. VI. ibid. 13:65--79 1948. VII. ibid. 19:81--96, 1954.)
Boyer, R., Lusk, E., McCune, W., Overbeek, R., Stickel, M. and Wos, L. (1986). Set Theory in First-Order Logic. Journal of Automated Reasoning 2:287--327.
Brown, F. M. (1978). Towards the Automation of Set Theory and its Logic. Artificial Intelligence, 10:281--316.
Cantor, G. (1883). Fondaments d'une théorie générale des ensembles. Acta Mathematica 2:381--408.
Cantor, G. (1932). Gesammelte Abhandlungen mathematischen und philosophischen Inhalts (ed. by E. Zermelo). Springer-Verlag, Berlin.
Feferman, S. (1984). Toward Useful Type-Free Theories, I. Journal of Symbolic Logic 49:75--111.
Fraenkel, A. A. (1922). Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. Mathematische Annalen 86:230--237.
Fraenkel, A. A., Bar-Hillel, Y. and Levy, A. (1973). Foundations of Set Theory. North-Holland, Amsterdam.
Frege, G. (1893). Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet (Volume I). Jena.
Gilmore, P. (1974). The Consistency of Partial Set Theory without Extensionality. In Jech, T. J. (ed.) Axiomatic Set Theory, 147--153, American Mathematical Society, Providence, RI.
Goldblatt, R. (1984). Topoi: The Categorial Analysis of Logic. North-Holland, Amsterdam.
Gödel, K. (1940). The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton, NJ.
Gödel, K. (1947). What is Cantor's Continuum Problem? American Mathematical Monthly 54:515--525.
Halmos, P. R. (1974). Naive Set Theory. Springer-Verlag, New York.
van Heijenhoort, J. (1967). From Frege to Gödel. Harvard University Press, Cambridge, MA.
Kripke, S. (1964). Transfinite Recursion on Admissible Ordinals, I--II Journal of Symbolic Logic 29:161--162.
Kunen, K. (1980). Set Theory: An Introduction to Independence Proofs. North-Holland, Amsterdam.
Mac Lane, S. (1986). Mathematics: Form and Function. Springer-Verlag, New York.
McCarthy, J. (1959). Programs with Common Sense. In Proceedings of Teddington Conference on Mechanization of Thought Processes, 75--91, Her Majesty's Stationary Office, London.
McCarthy, J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer, B. and Michie, D. (eds.) Machine Intelligence 4, 463--502, Edinburgh University Press, Edinburgh, UK.
McCarthy, J. (1977). Epistemological Problems of Artificial Intelligence. In Proceedings of Fifth International Joint Conference on Artificial Intelligence, 1038--1044.
McCarthy, J. (1980). Circumscription---A Form of Non-Monotonic Reasoning. Artificial Intelligence 13:27--39. (Addendum: 171--172.)
McCarthy, J. (1983). Artificial Intelligence Needs More Emphasis on Basic Research: President's Quarterly Message. AI Magazine 4:5.
McCarthy, J. (1984). We Need Better Standards for Artificial Intelligence Research: President's Message. AI Magazine 5:7--8.
McCarthy, J. (1985). Acceptance Address, International Joint Conference on Artificial Intelligence (IJCAI) Award for Research Excellence, Los Angeles, CA.
McCarthy, J. (1988). Mathematical Logic in Artificial Intelligence. Dædalus 117:297--311.
Mendelson, E. (1987). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole, Belmont, CA.
Minsky, M. (1981). A Framework for Representing Knowledge. In Haugeland, J. (ed.) Mind Design, 95--128, MIT Press, Cambridge, MA.
Mirimanoff, D. (1917). Les antinomies de Russell et de Burali-Forti et le probléme fondamental de la théorie des ensembles. L'Enseignment Mathematique 19:37--52.
Mislove, M. W., Moss, L., and Oles, F. J. (1990). Partial Sets. In Cooper, R., Mukai, K. and Perry, J. (eds.) Situation Theory and Its Applications I, 117--131, Number 22 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA.
Morse, A. (1965). A Theory of Sets. Academic Press, San Diego, CA.
Mostowski, A. (1979). Thirty Years of Foundational Studies. In Kuratowski, K. et al. (eds.) Andrzej Mostowski: Foundational Studies, Selected Works. North-Holland, Amsterdam.
von Neumann, J. (1925). Eine Axiomatisierung der Mengenlehre. J. für Math. 154:219--240. (Corrections: ibid., 155:128, 1926.)
Pakkan, M. (1993). Solving Equations in the Universe of Hypersets. M. S. Thesis, Dept. of Computer Engineering and Information Science, Bilkent University, Ankara, Turkey.
Parsons, C. (1977). What is the Iterative Conception of Set? In Butts, R. E. and Hintikka, J. (eds.) Logic, Foundations of Mathematics, and Computability Theory, 339--345, Kluwer, Dordrecht, Holland.
Parsons, C. (1990). Mathematical Intuition. In Yourgrau, P. (ed.) Demonstratives, 195--214, Oxford University Press, Oxford.
Perlis, D. (1985). Languages with Self-Reference I: Foundations. Artificial Intelligence 25(3):301--322.
Perlis, D. (1987). Circumscribing with Sets. Artificial Intelligence 37:201--211.
Perlis, D. (1988). Commonsense Set Theory. In Maes, P. and Nardi, D. (eds.) Meta-Level Architectures and Reflection, 87--98, Elsevier, Amsterdam.
Quaife, A. (1992). Automated Deduction in von Neumann-Bernays-Gödel Set Theory. Journal of Automated Reasoning 8:91--147.
Quine, W. V. (1937). New Foundations for Mathematical Logic. American Mathematical Monthly 44:70--80.
Schwartz, J. T., Dewar, R. B. K., Dubinsky, E., and Schonberg, E. (1986). Programming with Sets: An Introduction to SETL. Springer-Verlag, New York.
Shoenfield, J. R. (1977). Axioms of Set Theory. In Barwise, J. (ed.) Handbook of Mathematical Logic, 321--344, North-Holland, Amsterdam.
Skolem, T. (1922). Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. In Wiss. Vorträge gehalten auf dem 5. Kongress der Skandinav. Mathematiker in Helsingförs, 217--232.
Suppes, P. (1972). Axiomatic Set Theory. Dover, New York.
Suppes, P., and Sheehan, J. (1981). CAI Course in Axiomatic Set Theory. In Suppes, P. (ed.) University-Level Computer-Assisted Instruction at Stanford: 1968--1980, 3--80, Institute for Mathematical Studies in the Social Sciences, Stanford University, Stanford, CA.
Tiles, M. (1989). The Philosophy of Set Theory. Basil Blackwell, Oxford, UK.
Whitehead, A. N. and Russell, B. (1910). Principia Mathematica (3 Volumes). Cambridge University Press, Cambridge, UK.
Zadrozny, W. (1989). Cardinalities and Well Orderings in a Common-Sense Set Theory. In Brachman R. J., Levesque H. J. and Reiter, R. (eds.) Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning, 486--497, Morgan Kaufmann, San Mateo, CA.
Zadrozny, W., and Kim, M. (1993). Computational Mereology: A Prolegomenon Illuminated by a Study of Part-Of Relations for Multimedia Indexing. In Bar-Ilan Symposium on the Foundations of AI (BISFAI--93), Israel.
Zermelo, E. (1908). Untersuchungen über die Grundlagen der Mengenlehre. Mathematische Annalen 65:261--281.