Proceeding on generalized recursion theory - Fenstad J E Ed.; Symposium on generalized recuesion theory (1972 : Osto); Hinman P G Ed. (New York North Holland, 1974)