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

著者

• Hermes, Hans
• Herman, Gabor T.
• Plassmann, O.

書誌事項

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

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

（Die Grundlehren der mathematischen Wissenschaften, Bd. 127）

Springer, 1965

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA0760523X
• LCCN: 65012556
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: Berlin ; New York
• ページ数/冊数: ix, 245 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00007422