Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966 - Schmidt, H. Arnold; Schuette, Kurt; Thiele, Helmut J. (Studies in logic and the foundations of mathematics, 1968)