Hans Hermes
Books
- Su I
- Su II
- Enumerability, Decidability, Computability
- Selecta Mathematica II
- Enumerability · Decidability Computability
- Zahlen
- Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
- Introduction to mathematical logic
- Term logic with choice operator
- Semiotik
- Beitrag zur Behandlung der KniesXcheibenbrüche
- Einführung in die mathematische Logik: Klassische Prädikatenlogik
- Methoden der Logik und Mathematik
- Einführung in die mathematische Logik
- Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
- Posthumous Writings [of] Gottlob Frege
- Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
- Introduction to Mathematical Logic (Universitext)
- Enumerability, decidability, computability; an introduction to the theory of recursive functions
- 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
- Vorlesung über Entscheidungsprobleme in Mathematik und Logik
- Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
- Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
- Eine Termlogik mit Auswahloperator
- La teoría de retículos y su aplicación a la lógica matemática
- Eine axiomatisierung der allgemeinen mechanik
- Einführung in die Verbandstheorie
Author data: Open Library