1984
Meeting of the Association for Symbolic Logic: Florence, Italy 1982.
J. Symb. Log., 1984