Jump to main content

yr 〜
yr

Search results 37

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen. 2. Aufl. (Heidelberger Taschenbücher, Bd. 87)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen. 2. Aufl. (Heidelberger Taschenbücher, Bd. 87)
Paper図書
Springer-Verlag1971.<MA41-34>
National Diet Library
  • Author HeadingHermes, Hans.

Zahlen : Mit 31 Abbildungen : us : Berlin

Zahlen : Mit 31 Abbildungen : us : Berlin
Paper図書
H.-D. Ebbinghaus・・・[et al.]Springer-Verlag1983
Other Libraries in Japan
  • Author HeadingEbbinghaus, H. -D. Hermes, Hans Hirzebruch, Friedrich Koecher...

Nachgelassene Schriften 2., rev. Aufl., erweitert um einen Anhang

Nachgelassene Schriften 2., rev. Aufl., erweitert um einen Anhang
Paper図書
Gottlob Frege ; unter Mitwirkung von Gottfried Gabriel und Walburga Rödding ; bearbeitet, eingeleitet und mit Anmerkungen versehen von Hans Hermes, Friedrich Kambartel, Friedrich KaulbachMeinerc1983
Other Libraries in Japan
  • Author Heading...ding, Walburga Hermes, Hans Kambartel, Friedrich Kaulbach...

Eine Termlogik mit Auswahloperator. (Lecture notes in mathematics, 6)

Eine Termlogik mit Auswahloperator. (Lecture notes in mathematics, 6)
Paper図書
Springer-Verlag1965.<164-H553t>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHermes, Hans.

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen : gw : us 3. Aufl

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen : gw : us 3. Aufl
Paper図書
Hans HermesSpringer1978
Other Libraries in Japan
  • Author HeadingHermes, Hans

Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hans Hermes. Translated by G.T Herman and O. Plassmann. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127)

Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hans Hermes. Translated by G.T Herman and O. Plassmann. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127)
Paper図書
Springer-Verlag1965.<512.8-H552en>
National Diet Library
  • Author HeadingHermes, Hans.

Einführung in die mathematische Logik : klassische Prädikatenlogik : kart 4. Aufl

Einführung in die mathematische Logik : klassische Prädikatenlogik : kart 4. Aufl
Paper図書
von Hans HermesTeubner1976
Other Libraries in Japan
  • Author HeadingHermes, Hans

Posthumous writings :[pbk]

Posthumous writings :[pbk]
Paper図書
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 HargreavesBasil Blackwellc1979
Other Libraries in Japan
  • Author HeadingFrege, Gottlob Hermes, Hans Kambartel, Friedrich Kaulbach...

Posthumous writings

Posthumous writings
Paper図書
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 Raymond HargreavesUniversity of Chicago Press1979
Other Libraries in Japan
  • Author HeadingFrege, Gottlob Hermes, Hans Kambartel, Friedrich Kaulbach...

Die Klassifikation und ihr Umfeld = Classification and its environment : Proceedings, 10. Jahrestagung der Gesellschaft für Klassifikation, Münster/W, 18.-21. Juni 1986 / Herausgeber, Paul O. Degens, Hans-Joachim Hermes, Otto Opitz. (Studien zur Klassifikation ; Bd. 17)

Die Klassifikation und ihr Umfeld = Classification and its environment : Proceedings, 10. Jahrestagung der Gesellschaft für Klassifikation, Münster/W, 18.-21. Juni 1986 / Herausgeber, Paul O. Degens, Hans-Joachim Hermes, Otto Opitz. (Studien zur Klassifikation ; Bd. 17)
Paper図書
Indeks Verlag1986.<UL651-A25>
National Diet Library
  • Author Heading...egens, Paul O. Hermes, Hans-Joachim. Opitz, Otto.

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen. (Die Grundlehren der mathematischen Wissenschaften, Bd. 109)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen. (Die Grundlehren der mathematischen Wissenschaften, Bd. 109)
Paper図書
Springer1961.<512.8-H553a>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHermes, Hans.

Rekursive Funktionen

Rekursive Funktionen
Paper図書
von Klaus Heidler, Hans Hermes u. Friedrich-K. MahnBibliographisches Institut1977
Other Libraries in Japan
  • Author HeadingHeidler, Klaus Hermes, Hans Mahn, Friedrich-K.

Introduction to mathematical logic : us : gw

Introduction to mathematical logic : us : gw
Paper図書
Hans Hermes ; translated from German by Diana SchmidtSpringer-Verlag1973
Other Libraries in Japan
  • Author HeadingHermes, Hans Schmidt, Diana

Einführung in die mathematische Logik : klassische Prädikatenlogik 3., neubearbeitete und erweiterte Aufl

Einführung in die mathematische Logik : klassische Prädikatenlogik 3., neubearbeitete und erweiterte Aufl
Paper図書
von Hans HermesTeubner1972
Other Libraries in Japan
  • Author HeadingHermes, Hans

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen : gw : us 2. Aufl

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen : gw : us 2. Aufl
Paper図書
Hans HermesSpringer1971
Other Libraries in Japan
  • Author HeadingHermes, Hans

Term logic with choice operator

Term logic with choice operator
Paper図書
Hans HermesSpringer-Verlag1970
Other Libraries in Japan
  • Author HeadingHermes, Hans

Enumerability ・Decidability Computability

Enumerability ・Decidability Computability
Paper図書
Hermes HansSpringer-verlag1969
Other Libraries in Japan

Einführung in die Verbandstheorie. (Die Grundiehren der mathematischen Wissenschaften in Einzeidarstellungen, Bd. 73)

Einführung in die Verbandstheorie. (Die Grundiehren der mathematischen Wissenschaften in Einzeidarstellungen, Bd. 73)
Paper図書
Springer1955.<512.8-H553e>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHermes, Hans.

Einführung in die mathematische Logik : klassische Prädikatenlogik 2., durchgesehene und erweiterte Aufl

Einführung in die mathematische Logik : klassische Prädikatenlogik 2., durchgesehene und erweiterte Aufl
Paper図書
von Hans HermesTeubner1969
Other Libraries in Japan
  • Author HeadingHermes, Hans

Enumerability, decidability, computability : an introduction to the theory of recursive functions 2nd rev. ed

Enumerability, decidability, computability : an introduction to the theory of recursive functions 2nd rev. ed
Paper図書
Hans Hermes ; translated by G.T. Hermann and O. PlassmannSpringer1969
Other Libraries in Japan
  • Author HeadingHermes, Hans
RSS