Contributions to mathematical logic proceedings of the Logic Colloquium, Hannover 1966 (North-Holland, 1968)