Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic. Edited by M.H. Löb. (Lecture notes in mathematics, 70)
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。