Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
scientific article; zbMATH DE number 3708380