STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Hans Hermes | lit.salon
Hans Hermes
No bio available.
Add one in Open Library.
Books by Hans Hermes (50 max)
+ shelf
+ list
Enumerability, decidability, computability: an introduction to the theory of recursive functions
1961
Hans Hermes
+ shelf
+ list
Einführung in die Verbandstheorie.
1955
Hans Hermes
+ shelf
+ list
Enumerability . Decidability Computability
1965
Hans Hermes, Gabor T. Herman, O. Plassmann
+ shelf
+ list
Einführung in die mathematische Logik Klassische Prädikatenlogik
1969
Hans Hermes
+ shelf
+ list
Introduction to mathematical logic.
1973
Hans Hermes
+ shelf
+ list
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
1937
Hans Hermes
+ shelf
+ list
Semiotik: eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen
1938
Hans Hermes
+ shelf
+ list
Eine axiomatisierung der allgemeinen mechanik
1938
Hans Hermes
+ shelf
+ list
Eine Termlogik mit Auswahloperator.
1965
Hans Hermes
+ shelf
+ list
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
1967
Hans Hermes
+ shelf
+ list
Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
1969
Hans Hermes
+ shelf
+ list
Term logic with choice operator.
1970
Hans Hermes
+ shelf
+ list
Beitrag zur Behandlung der KniesXcheibenbrüche
1913
Hans Hermes
+ shelf
+ list
Teoría de retículos y su aplicación a la lógica matemática.
1963
Hans Hermes
+ shelf
+ list
La teoría de retículos y su aplicación a la lógica matemática.
1963
Hans Hermes
+ shelf
+ list
Einführung in die mathematische Logik: Klassische Prädikatenlogik.
1963
Hans Hermes
+ shelf
+ list
Enumerability, decidability, computability; an introduction to the theory of recursive functions
1965
Hans Hermes
+ shelf
+ list
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
1965
Hans Hermes
+ shelf
+ list
Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien.
1967
Hans Hermes
+ shelf
+ list
Methoden der Logik und Mathematik.: Dargestellt von Hans Hermes. Statistische Methoden. Dargestellt von Erich Mittenecker.
1968
Hans Hermes
+ shelf
+ list
Introduction to Mathematical Logic (Universitext)
1973
Hans Hermes
+ shelf
+ list
Posthumous Writings [of] Gottlob Frege
1979
Gottlob Frege, Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach
+ shelf
+ list
Su II
1991
Heinz-Dieter Ebbinghaus, I. Naruki, Hans Hermes, Friedrich Hirzebruch, Max Koecher
+ shelf
+ list
Su I
1991
Heinz-Dieter Ebbinghaus, I. Naruki, Hans Hermes, Friedrich Hirzebruch, Max Koecher
+ shelf
+ list
Zahlen (Springer-Lehrbuch)
1992
Heinz Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert
+ shelf
+ list
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in Die Theorie der Rekursiven Funktionen
2013
Hans Hermes
+ shelf
+ list
Selecta Mathematica II
2013
H. -D Ebbinghaus, F. K. Mahn, Hans Hermes, Konrad Jacobs
