Alpha recursion theory: Difference between revisions

Content deleted Content added
No edit summary
Line 27:
* Gerald Sacks, ''Higher recursion theory'', Springer Verlag, 1990 https://projecteuclid.org/euclid.pl/1235422631
* Robert Soare, ''Recursively Enumerable Sets and Degrees'', Springer Verlag, 1987 https://projecteuclid.org/euclid.bams/1183541465
* Keith J. Devlin, [https://core.ac.uk/download/pdf/30905237.pdf ''An introduction to the fine structure of the constructible hierarchy''] (p.38), North-Holland Publishing, 1974
 
[[Category:Computability theory]]