Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975. - Haim Gaifman; Azriel Levy; Gert H. Muller (J. Symb. Log., 1977)