Meeting of the Association for Symbolic Logic: Berkeley, 1983. - J. W. Addison; Herbert B. Enderton (J. Symb. Log., 1984)