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