Author: Germany 1966 : 11th  Logic Colloquium Hannover