Author: Logic Colloquium, Manchester, 1969