👤

Hans Hermes

21 books

Books by Hans Hermes

Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
2013
Einführung in die Verbandstheorie
Einführung in die Verbandstheorie
2013
Term logic with choice operato
Term logic with choice operator
2013
Su I
Su I
1991
Su II
Su II
1991
Semiotik
Semiotik
1988
Posthumous Writings [of] Gottl
Posthumous Writings [of] Gottlob Frege
1979
Introduction to Mathematical Logic (Universitext)
Introduction to Mathematical Logic (Universitext)
1973
Ein neuer Vollständigkeitsbew
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
1970
Eine axiomatisierung der allge
Eine axiomatisierung der allgemeinen mechanik
1970
Eine Termlogik mit Auswahloperator
Eine Termlogik mit Auswahloperator
1970
Methoden der Logik und Mathema
Methoden der Logik und Mathematik
1968
Die Rolle der Logik beim Aufba
Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
1967
Eine Termlogik mit Auswahloper
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
1965
Enumerability, Decidability, C
Enumerability, Decidability, Computability
1965
Enumerability, decidability, c
Enumerability, decidability, computability; an introduction to the theory of recursive functions
1965
Einführung in die mathematisc
Einführung in die mathematische Logik: Klassische Prädikatenlogik
1963
La teoría de retículos y su
La teoría de retículos y su aplicación a la lógica matemática
1963
Teoría de retículos y su apl
Teoría de retículos y su aplicación a la lógica matemática
1963
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
1961
Beitrag zur Behandlung der Kni
Beitrag zur Behandlung der KniesXcheibenbrüche
1913