Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966 - Schmidt, H. Arnold (North-Holand Publishing Company, 1968)