Logic Colloquium (11th 1966 Hanover)