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