著者典拠情報

著者標目形：
Hermes, Hans
属性：
Personal
日付：
1912
から見よ参照形：
Hermes, Hans, 1912-
ヘルメス, H.
注記：
His Ein neur vollständigkeitsbeweis, 1937
EDSRC:Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen / Hans Hermes(Springer, 1971)
EDSRC:数 / H.-D.エビングハウス [ほか] 著 ; K.ラモトケ編集 ; 成木勇夫訳(シュプリンガー・フェアラーク東京, 1991.5-1991.6)によりSF(ヘルメス, H.)を追加
著者典拠ID：
DA0121044X


1.

図書
図書
1. 数 (上 ; 下)
H.-D.エビングハウス [ほか] 著 ; K.ラモトケ編集 ; 成木勇夫訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1991.5-1991.6
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Einführung in die Verbandstheorie. 2., erw. Aufl
Hans Hermes
出版情報: Berlin : Springer, 1967
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 73
所蔵情報: 図書館
3.

図書
図書
3. Enumerability, decidability, computability : an introduction to the theory of recursive functions
by Hans Hermes ; translated by G.T. Herman and O. Plassmann
出版情報: Berlin ; New York : Springer, 1965
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 127
所蔵情報: 図書館
4.

図書
図書
4. Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
von Hans Hermes
出版情報: Berlin : Springer, 1961
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 109
所蔵情報: 図書館