Generalized recursion theory II proceedings of the 1977 Oslo symposium / - Fenstad, Jens Erik.; Gandy, R. O.; Sacks, Gerald E. (Studies in logic and the foundations of mathematics ;)