Theory of Recursive Functions and Effective (0)

by H Rogers
Venue:Computability, McGraw Hill (1967). Closed Sets and Enumerations 19