On the Theory of Types
Willard Van Orman Quine
Russell's Ontological Development
Ontology and Ideology Revisited
Ontological reduction and the World of Numbers
Predicate Functors Revisited
Posits and Reality
Word and Object
Unification of Universes in Set Theory
On Natural Deduction
Toward a Calculus of Concepts