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 in Einzeldarstellungen, Bd. 127)

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 in Einzeldarstellungen, Bd. 127)

国立国会図書館請求記号: 512.8-H552en
国立国会図書館書誌ID: 000006214423

資料種別: 図書

著者: Hermes, Hans.

出版者: Springer-Verlag

出版年: 1965.

資料形態: 紙

ページ数・大きさ等: ix, 245 p. illus. 24 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: 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 in Einzeldarstellungen, Bd. 127
タイトル標目: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. English.
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127.
著者標目: Hermes, Hans.
出版事項: Berlin : Springer-Verlag
New York : Springer-Verlag
出版年月日等: 1965.
出版年（W3CDTF）: 1965
数量: ix, 245 p. illus. 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
LCC: QA248.5
DDC: 512.8
164
書誌注記: Includes bibliographies.
所蔵機関: 国立国会図書館
請求記号: 512.8-H552en
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006214423
http://id.ndl.go.jp/bib/000006214423
LC control number: 65012556 //r84
https://lccn.loc.gov/65012556
整理区分コード: 211