Author Search Results

Hans Hermes

Hans Hermes (; 12 February 1912 – 10 November 2003) was a German mathematician and logician, who made significant contributions to the foundations of mathematical logic. Provided by Wikipedia

Enumerability, decidability, computability : : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann.

Participants: Hermes, Hans, [ VerfasserIn ]; Herman, Gabor T., [ TeilnehmendeR ]; Plassmann, Ortwin, [ TeilnehmendeR ]
Published: [1965]

Links: Get full text

Einführung in die mathematische Logik : klassische Prädikatenlogik / von Hans Hermes

Participants: Hermes, Hans 1912-2003 [ VerfasserIn ]
Published: 1972

Links: Inhaltsverzeichnis

Enzyklopädie der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen / Teil 1, A. Grundlagen, B. Algebra, Artikel 1 = Bd. 1,1,H.1,T.1 : Mathematische Logik / von H. Hermes u. H. Scholz

Participants: Hermes, Hans 1912-2003 [ MitwirkendeR ]; Scholz, Heinrich 1884-1956 [ MitwirkendeR ]
Published: 1952
Superior document: Enzyklopädie der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen Teil 1, A. Grundlagen, B. Algebra, Artikel 1 = Bd. 1,1,H.1,T.1

Other Authors: “...Hermes, Hans 1912-2003...”

Hans Hermes

Related Subjects