MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC MANCHESTER 199