城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Hermes Hans)
該当件数:12件
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Bd. 109. - Berlin : Springer , 1961. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 109)
図書
Enumerability, decidability, computability; an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.
Bd.127. - Berlin : Springer , 1965. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.127)
Eine Termlogik mit Auswahloperator
Berlin : Springer , 1965. - (Lecture notes in mathematics ; 6)
Einfuhrung in die Verbandstheorie
Bd. 73. - 2., erw. Aufl. Mit 32 Abbildungen.. - Berlin : Springer , 1967. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 73)
Bd. 87. - 2. Aufl.. - Berlin : Springer , 1971. - (Heidelberger Taschenbucher ; Bd. 87)
Term logic with choice operator / Hans Hermes
Berlin ; New York : Springer-Verlag , 1970. - (Lecture notes in mathematics ; 6)
Introduction to Mathematical Logic / by Hans Hermes
1st ed. 1973.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973). - (Universitext. ISSN:21916675)
電子ブック
Term Logic with Choice Operator / by Hans Hermes
1st ed. 1970.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1970). - (Lecture Notes in Mathematics. ISSN:16179692 ; 6)
Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions / by Hans Hermes
2nd ed. 1969.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1969). - (Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics. ISSN:21969701 ; 127)
Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / by Hans Hermes
1st ed. 1965.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1965). - (Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics. ISSN:21969701 ; 127)
Posthumous writings / edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rodding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves.
Oxford : Blackwell , c1979.
Numbers / by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert ; edited by John H. Ewing
1st ed. 1991.. - (New York, NY : Springer New York : Imprint: Springer , 1991). - (Readings in Mathematics ; 123)