18 treff

Posthumous writings
Gottlob Frege ; edited by Hans Hermes, Fr...
Bok Engelsk 1979
Die vier Wissenschaften der Pythagoreer
Waerden, B.L. van der
Bok Tysk 1977
Introduction to mathematical logic
Hans Hermes ; translated from German by D...
Bok Engelsk 1973
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hermes, Hans
Bok Tysk 1971
Term logic with choice operator
Hans Hermes
Bok Språk ikke angitt 1970
Enumerability, decidability, computability : an introduction to the theory of recursive functions
Hans Hermes ; translated by G.T. Herman n...
Bok Engelsk 1969
Methoden der Logik und Mathematik : statistische Methoden
dargest. von Hans Hermes, Erich Mitteneck...
Bok Tysk 1968
Einführung in die Verbandstheorie
Hermes, Hans
Bok Tysk 1967
Enumerability, decidability, computability : an introduction to the theory of recursive functions
Hermes, Hans
Bok Engelsk 1965
Eine Termlogik mit Auswahloperator
Hermes, Hans
Bok Tysk 1965
Einführung in die mathematische Logik : Klaasische Prädikatenlogik
Hermes, Hans
Bok Tysk 1963
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hermes, Hans
Bok Tysk 1961
Mathesis Universalis : Abhandlungen zur Philosophie als strenger Wissenschaft
Scholz, Heinrich
Bok Tysk 1961
Einführung in die Verbandstheorie
von Hans Hermes
Bok Tysk 1955
Einfürung in die Verbandsteorie
Hermes, Hans
Bok Språk ikke angitt 1955
Vorlesung über Entscheidungsprobleme in Mathematik und Logik
von Hans Hermes
Bok Tysk 1955
Eine Axiomatisierung der allgemeinen Mechanik
Hermes, Hans
Bok Tysk 1938
Semiotik : eine theorie der Zeichengestalten als Grundlage fyr Untersuchungen von formalisierten Sprachen
Hermes, Hans
Bok Tysk 1938