Hans Hermes
27 works on record
Works
Introduction to Mathematical Logic (Universitext)
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
Zahlen
Eine Termlogik mit Auswahloperator
Einführung in die mathematische Logik
Einführung in die Verbandstheorie
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Introduction to mathematical logic
Enumerability, Decidability, Computability
Su II
Su I
Posthumous Writings [of] Gottlob Frege
Enumerability · Decidability Computability
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
Selecta Mathematica II
Beitrag zur Behandlung der KniesXcheibenbrüche
Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
Enumerability, decidability, computability; an introduction to the theory of recursive functions
Methoden der Logik und Mathematik
Semiotik
Term logic with choice operator
Teoría de retículos y su aplicación a la lógica matemática
La teoría de retículos y su aplicación a la lógica matemática
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
Eine axiomatisierung der allgemeinen mechanik
Einführung in die mathematische Logik: Klassische Prädikatenlogik