Hans Hermes

Mathematischen Forschungsinstitut Oberwolfach mini|hochkant|Hans Hermes im [[Mathematisches Forschungsinstitut Oberwolfach|Mathematischen Forschungsinstitut Oberwolfach 1970]] Hans Hermes (* 12. Februar 1912 in Neunkirchen (Saar); † 10. November 2003 in Freiburg im Breisgau) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 84 für Suche 'Hermes, Hans', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Rekursive Funktionen

    Rekursive Funktionen von Heidler, Klaus 1952-, Hermes, Hans 1912-2003, Mahn, Friedrich-Karl

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  2. 2
    Einführung in die Verbandstheorie

    Einführung in die Verbandstheorie von Hermes, Hans 1912-2003

    Veröffentlicht 1967
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Analysen zur Umsetzung rationeller Energieanwendung in kleinen und mittleren Unternehmen des Kleinverbrauchersektors

    Analysen zur Umsetzung rationeller Energieanwendung in kleinen und mittleren Unternehmen des Kleinverbrauchersektors von Hermes, Hans-Dieter 1966-

    Veröffentlicht 2000
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Aufzählbarkeit Entscheidbarkeit Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen

    Aufzählbarkeit Entscheidbarkeit Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen von Hermes, Hans 1912-2003

    Veröffentlicht 1978

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Die vier Wissenschaften der Pythagoreer

    Die vier Wissenschaften der Pythagoreer von Waerden, Bartel L. van der 1903-1996, Hermes, Hans 1912-2003

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


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

    Einführung in die mathematische Logik klassische Prädikatenlogik von Hermes, Hans 1912-2003

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Introduction to mathematical logic

    Introduction to mathematical logic von Hermes, Hans 1912-2003

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Introduction to Mathematical Logic

    Introduction to Mathematical Logic von Hermes, Hans 1912-2003

    Veröffentlicht 1973

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls

    Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls von Hermes, Hans 1912-2003, Scholz, Heinrich 1884-1956

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions

    Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions von Hermes, Hans 1912-2003

    Veröffentlicht 1969
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Einführung in die Verbandstheorie

    Einführung in die Verbandstheorie von Hermes, Hans 1912-2003

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Einführung in die Verbandstheorie

    Einführung in die Verbandstheorie von Hermes, Hans 1912-2003

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Einführung in die Verbandstheorie

    Einführung in die Verbandstheorie von Hermes, Hans 1912-2003

    Veröffentlicht 1967

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Enumerability, decidability, computability an introduction to the theory of recursive functions

    Enumerability, decidability, computability an introduction to the theory of recursive functions von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions

    Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions von Hermes, Hans 1912-2003

    Veröffentlicht 1965

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Enumerability, decidability, computability an introduction to the theory of recursive functions

    Enumerability, decidability, computability an introduction to the theory of recursive functions von Hermes, Hans

    Veröffentlicht 1965
    Elektronisch E-Book Fernleihe Bestellen


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

    Einführung in die mathematische Logik klassische Prädikatenlogik von Hermes, Hans 1912-2003

    Veröffentlicht 1963
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: