Hermes, HansOverview
Most widely held works by
Hans Hermes
Enumerability, decidability, computability; an introduction to the theory of recursive functions
by Hans Hermes
(
Book
)
49 editions published between 1961 and 1984 in 5 languages and held by 743 libraries worldwide
Introduction to mathematical logic
by Hans Hermes
(
Book
)
7 editions published between 1957 and 1973 in 3 languages and held by 523 libraries worldwide
Eine Termlogik mit Auswahloperator
by Hans Hermes
(
Book
)
14 editions published between 1965 and 1970 in German and English and held by 430 libraries worldwide
Posthumous writings
by Gottlob Frege
(
Book
)
12 editions published between 1969 and 1997 in English and German and held by 412 libraries worldwide
Einführung in die Verbandstheorie
by Hans Hermes
(
Book
)
12 editions published between 1955 and 1967 in German and English and held by 391 libraries worldwide
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel
by Gottlob Frege
(
Book
)
13 editions published between 1969 and 1983 in German and English and held by 283 libraries worldwide
Einführung in die mathematische Logik: Klassische Prädikatenlogik
by Hans Hermes
(
Book
)
17 editions published between 1963 and 1991 in German and Undetermined and held by 257 libraries worldwide
Rekursive Funktionen
by Klaus Heidler
(
Book
)
7 editions published in 1977 in German and Undetermined and held by 99 libraries worldwide Theory of Computation -- Mathematical Logic and Formal Languages.
Methoden der Logik und Mathematik : statistische Methoden
by Hans Hermes
(
Book
)
3 editions published in 1968 in German and held by 60 libraries worldwide
Mathesis universalis : Abhandlungen zur Philosophie als strenger Wissenschaft
by Heinrich Scholz
(
Book
)
7 editions published between 1931 and 1969 in German and held by 52 libraries worldwide
Eine axiomatisierung der allgemeinen mechanik
by Hans Hermes
(
Book
)
9 editions published between 1938 and 1970 in 3 languages and held by 47 libraries worldwide
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
by Hans Hermes
(
Book
)
7 editions published between 1937 and 1970 in German and English and held by 46 libraries worldwide
Methoden der Logik und Mathematik. Dargestellt von Hans Hermes. Statistische Methoden. Dargestellt von Erich Mittenecker
by Hans Hermes
(
Book
)
2 editions published in 1968 in German and held by 44 libraries worldwide
Semiotik : eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen
by Hans Hermes
(
Book
)
3 editions published between 1938 and 1970 in German and held by 43 libraries worldwide
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien
by Hans Hermes
(
Book
)
2 editions published in 1967 in German and held by 38 libraries worldwide
Nachgelassene Schriften
by Gottlob Frege
(
Book
)
4 editions published between 1969 and 1983 in German and Undetermined and held by 35 libraries worldwide
La teoría de retículos y su aplicación a la lógica matemática
by Hans Hermes
(
Book
)
5 editions published in 1963 in Spanish and held by 32 libraries worldwide
Methoden der Logik und Mathematik = statistische Methoden : dargest. von Hans Hermes
(
Book
)
1 edition published in 1968 in German and held by 22 libraries worldwide
Einführung in die Verbandstheorie
(
Book
)
1 edition published in 1955 in Undetermined and held by 20 libraries worldwide
Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik / Hans Hermes
by Bartel L. van der Waerden
(
Book
)
1 edition published in 1977 in German and held by 17 libraries worldwide more
fewer
Audience Level
Related IdentitiesAssociated Subjects
Algebra Algebra, Abstract Algorithms Calculus Computable functions Frege, Gottlob,--1848-1925 Gödel's theorem Grammar, Comparative and general--Syntax Lattice theory Logic Logic, Symbolic and mathematical Mathematical statistics Mathematics Mathematics--Philosophy Matrices Mechanics, Analytic Philosophy Recursive functions Science--Methodology Social sciences--Mathematics Social sciences--Methodology Transformations (Mathematics)
|
Alternative Names
Hermes, H.
Languages
|
|||||||||||||||||
Related Identities