Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 - Schmidt, H. Arnold.; Schütte, K.; Thiele, H. J. (Studies in logic and the foundations of mathematics, 1968)