Fundamentals of Generalized Recursion Theory, volume 105 of Studies in Logic. North-Holland (1981)

by M C Fitting
Venue:FJM