Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks. (Studies in logic and the foundations of mathematics ; v. 94)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
(Studies in logic and the foundations of mathematics ; v. 94)
国立国会図書館請求記号
MA41-142
国立国会図書館書誌ID
000006344330
資料種別
図書
著者
Symposium on Generalized Recursion Theory, 2d, University of Oslo, 1977.ほか