Hans Hermes
· 28 obras en el catálogo
Obras
Introduction to Mathematical Logic (Universitext)
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
Zahlen
Enumerability, Decidability, Computability
Su I
Su II
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
Vorlesung über Entscheidungsprobleme in Mathematik und Logik
Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
Eine Termlogik mit Auswahloperator
Einführung in die mathematische Logik: Klassische Prädikatenlogik
Enumerability, decidability, computability; an introduction to the theory of recursive functions
Introduction to mathematical logic
La teoría de retículos y su aplicación a la lógica matemática
Methoden der Logik und Mathematik
Teoría de retículos y su aplicación a la lógica matemática
Term logic with choice operator
Eine axiomatisierung der allgemeinen mechanik
