Generalized recursion theory II : proceedings of the 1977 Oslo symposium - Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo); Fenstad, J. E. (Jens Erik); Gandy, R. O.; Sacks, G. E. (Gerald E.) (Amsterdam : North-Holland Publishing Company, 1978)
Keywords: Recursion theory -- Congresses