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