Title: Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966