Techniques of admissible recursion theory
著者
書誌事項
Techniques of admissible recursion theory
（Lecture notes in mathematics, 1106）
Springer-Verlag, 1984
- : gw
- : us
大学図書館所蔵 全67件
注記
Bibliography: p. [206]-211
Includes index
Techniques of admissible recursion theory
（Lecture notes in mathematics, 1106）
Springer-Verlag, 1984
Bibliography: p. [206]-211
Includes index