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

书目详细资料
主要作者: Soare, Robert Irving 1940-
格式: 图书
出版: Berlin Springer-Verlag 1987.
丛编:Perspectives in mathematical logic.
主题: