Enumerability, decidability, computability : an introduction to the theory of recursive functions

著者

• Hermes, Hans

書誌事項

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hans Hermes ; translated by G.T. Hermann and O. Plassmann

（Die Grundlehren der mathematischen Wissenschaften, Bd. 127）

Springer, 1969

2nd rev. ed

タイトル別名

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

詳細情報

• NII書誌ID(NCID): BA03957927
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: Berlin ; New York
• ページ数/冊数: x, 245 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA248.5
  • DC : 510/.01
• 件名:
  • LCSH : Recursive functions
  • LCSH : Algorithms
  • LCSH : Gödel's theorem
  • LCSH : Computable functions
• 親書誌ID:
  • BA00007422