1
Contributions to mathematical logic [E-Book] : Proceedings of the Logic Colloquium, Hannover 1966 /