Author: Logic Colloquium (1981 Marseille, France)