1. G. Boolos, ?The iterative conception of set?, The Journal of Philosophy 68 (1971), 215?231.
2. A. Church, ?Schröder's anticipation of the simple theory of types?, The Journal of Unified Science (Erkenntnis) 9 (1939), 149?152.
3. N. Cocchiarella, ?A second order logic of variable-binding operators?, Reports on Mathematical Logic 5 (1975), 3?18.
4. N. Cocchiarella, ?The theory of homogeneous simple types as a second order logic?, Notre Dame Journal of Formal Logic 20 (1979), 505?524.
5. N. Cocchiarella, ?Frege, Russell and Logicism: a logical reconstruction?, forthcoming in Frege Synthesized, L. Taimien and J. Hintikka, eds, D. Reidel, Dordrecht.