Recursively enumerable sets and degrees a study of computable functions and computably generated sets

Dettagli Bibliografici
Autore principale: Soare, Robert Irving 1940-
Natura: Libro
Pubblicazione: Berlin Springer-Verlag 1987.
Serie:Perspectives in mathematical logic.
Soggetti: