Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966