名古屋大学附属図書館




1

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele. -- North-Holland, 1968. -- (Studies in logic and the foundations of mathematics).