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.
主題: