京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Hermes Hans)
該当件数:3件
Eine Termlogik mit Auswahloperator / Hams Hermes
Berlin ; Heidelberg ; New York : Springer-Verlag , 1965. - (Lecture notes in mathematics ; 6)
図書
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt
: us,: gw. - Berlin ; New York : Springer-Verlag , 1973. - (Universitext)
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)