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