close
1.

図書
図書
1. 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  ix, 245 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 127
所蔵情報: loading…
2.

図書
図書
2. Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
von Hans Hermes
出版情報: Berlin : Springer, 1961  ix, 246 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 109
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼