Natural Numbers In Illative Combinatory Logic.
Predicate calculus and naive set theory in pure combinatory logic.
Set theory in predicate calculus with equality
Predicate calculus of arbitrarily high finite order.
Category theory based on combinatory logic.
Some generalizations to two systems of set theory based on combinatory logic.
A one axiom set theory based on higher order predicate calculus.
Page 1