course on admissible recursion theory (1978)

by S Simpson, Short
Venue:Generalized Recursion Theory II, North-Holland