, 1992, Foundations of a general theory of sets, Kluwer, Dordrecht.
with Goodman, N. , 1940a, 'The calculus of individuals and its uses', Journal of Symbolic Logic 5 (2), 45-55.