Author: Logic Colloquium, 11th, Hanover 1966