[1] MOSCHOVAKIS Y. N.:
Descriptive Set Theory. Stud. Logic Found. Math. 100, North-Holland, Amsterdam-New York-Oxford, 1980.
MR 0561709 |
Zbl 0433.03025
[2] ROGERS H.:
Theory of Recursive Functions and Effective Computability. McGraw-Hill, London, 1967.
MR 0224462 |
Zbl 0183.01401