Enumerability, decidability, computability : an introduction to the theory of recursive functions
著者
書誌事項
Enumerability, decidability, computability : an introduction to the theory of recursive functions
(Die Grundlehren der mathematischen Wissenschaften, Bd. 127)
Springer, 1965
大学図書館所蔵 件 / 全69件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references and index