| NCID | BN01849175 |
| タイトル | 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳||ケイサン ノ リロン |
| 出版者 | 東京 : 岩波書店 , 1966.10 |
| 形態 | x, 314p : 図版 ; 21cm |
| 別書名 | Computability and unsolvability
|
| 注記 | 参考文献: p265-271 |
| シリーズ名 | 現代科学選書
|
| 分類 | NDC8:413 |
| 件名 | NDLSH:帰納的関数
|
| 著者情報 | Davis, Martin, 1928-
赤, 攝也(1926-) (セキ, セツヤ)
渡辺, 茂 (1918-1992) (ワタナベ, シゲル)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 出版国 | 日本 |