European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984
scientific article