Recursion theory
著者
書誌事項
Recursion theory
(Lecture notes in logic, 1)
Association for Symbolic Logic , A.K. Peters, c2001
[reprinted 2001]
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Originally published: Berlin ; New York : Springer-Verlag, c1993. (Lecture notes in logic ; 1)
Includes index