東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Hermes Hans)
該当件数:6件
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
2nd rev. ed. - Berlin : Springer , 1969. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127)
図書
Term logic with choice operator / Hans Hermes
Berlin : Springer-Verlag , 1970. - New York. - (Lecture notes in mathematics ; 6)
Posthumous writings / Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymon Hargreaves
:[pbk]. - Oxford : Basil Blackwell , c1979
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; herausgegeben von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach
Hamburg : Meiner
Nachgelassene Schriften / Gottlob Frege ; unter Mitwirkung von Gottfried Gabriel und Walburga Rödding bearbeitet, eingeleitet und mit Anmerkungen versehen von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach
Hamburg : F. Meiner , c1969. - (Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; herausgegeben von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach ; 1. Bd.)
Zahlen : Mit 31 Abbildungen / H.-D. Ebbinghaus・・・[et al.]
: us,: Berlin. - Berlin ; Heidelberg ; New York ; Tokyo : Springer-Verlag , 1983. - (Grundwissen Mathematik ; 1)