Hans Hermes

发表

Introduction to mathematical logic

Hans Hermes, H. Hermes, 1973, Universitext.

In memoriam: Wilhelm Ackermann (1896-1962)

Hans Hermes, 1967, Notre Dame J. Formal Log..

Details of the proof

Hans Hermes, 1970 .

Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln

Heinz Gumin, Hans Hermes, 1956, Arch. Math. Log..

Einführung in die Verbandstheorie, 2. Auflage

Hans Hermes, 1967, Grundlehren der mathematischen Wissenschaften.

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Hans Hermes, 1961 .

The Language of Predicate Logic

Hans Hermes, 1973 .

µ-Recursive Functions

Hans Hermes, 1969 .

Introductory Reflections on Algorithms

Hans Hermes, H. Hermes, 1965 .

Term Logic with Choice Operator

Hans Hermes, 1970 .

Enumerability, decidability, computability - an introduction to the theory of recursive functions

Hans Hermes, H. Hermes, 1965 .

μ-Recursive Functions

Hans Hermes, 1965 .

Einführung in die mathematische Logik : klassische Prädikatenlogik

Hans Hermes, 1963 .

Einführung in die Verbandstheorie

Hans Hermes, 1955 .

Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster

Hans Hermes, 1950 .

Zur Theorie der aussagenlogischen Matrizen

Hans Hermes, 1951 .

Nachgelassene Schriften Und Wissenschaftlicher Briefwechsel

Hans Hermes, Friedrich Kambartel, Gottlob Frege, 1969 .

Eine Termlogik mit Auswahloperator

Hans Hermes, H. Hermes, 1965 .

Einführung in die mathematische Logik

Hans Hermes, H. Hermes, 1972 .

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen

Hans Hermes, 1961 .