Author: Logic Colloquium (1979 Leeds, Yorkshire)