General recursion theory : an axiomatic approach
著者
書誌事項
General recursion theory : an axiomatic approach
（Perspectives in mathematical logic）
Springer-Verlag, 1980
- : us
- : gw
大学図書館所蔵 全46件
注記
Bibliography: p. [209]-216
Includes indexes
General recursion theory : an axiomatic approach
（Perspectives in mathematical logic）
Springer-Verlag, 1980
Bibliography: p. [209]-216
Includes indexes