The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. - John Addison; Jon Barwise; H. Jerome Keisler; Kenneth Kunen; Yiannis N. Moschovakis (J. Symb. Log., 1979)