Generalized recursion theory II : proceedings of the 1977 Oslo symposium - Fenstad,J.E.ed (North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1974)