1. Aczel, P.: 1977, ‘An introduction to inductive definitions’, in J. Barwise (ed.), 1977, pp. 739–782.
2. Aczel, P.: 1980, ‘Frege structures and the notions of proposition, truth and set’, in J. Barwise et al. (eds.), 1980, pp. 31–59.
3. Aczel, P. and Feferman, S.: 1980, ‘Consistency of the unrestricted abstraction principle using an intensional equivalence operator’, in J. P. Seldin and J. R. Hindley (eds.) 1980, pp.67–98.
4. Barwise, J. (ed.): 1977, Handbook of Mathematical Logic, North Holland, 1977.
5. Barwise, J., Keisler, H. J., and Kunen, K. (eds.): 1910, The Kleene Symposium, North Holland, Amsterdam.