Meeting of the Association for Symbolic Logic: Biloxi, 1979