Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Hermes Hans)
Results:12items
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)
Books
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)
E-Book
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)