Logic Colloquium (11th 1966 Hannover, Germany)