計算の理論

著者

• Davis, Martin
• 渡辺, 茂 ワタナベ, シゲル
• 赤, 攝也 セキ, セツヤ

書誌事項

計算の理論

M.デーヴィス著 ; 渡辺茂, 赤攝也訳

（現代科学選書）

岩波書店, 1966.10

タイトル別名

Computability and unsolvability

タイトル読み

ケイサン ノ リロン

注記

参考文献: p265-271

詳細情報

• NII書誌ID(NCID): BN01849175
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: x, 314p
• 大きさ: 21cm
• 分類:
  • NDC8 : 413
• 件名:
  • NDLSH : 帰納的関数
• 親書誌ID:
  • BN00603431