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 66 für Suche 'Hermes, Hans 1912-2003', Suchdauer: 0,10s 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
    Einführung in die Verbandstheorie

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

    Veröffentlicht 1967
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Rekursive Funktionen

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  3. 3
    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:
  4. 4
    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 1972

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


    Gespeichert in:
  5. 5
    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 1971
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    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, Roth, Eugen

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Eine Axiomatisierung der allgemeinen Mechanik

    Eine Axiomatisierung der allgemeinen Mechanik von Hermes, Hans 1912-2003

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit von Hermes, Hans 1912-2003

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

    Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien von Hermes, Hans 1912-2003

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Enumerability, decibility, computability (Aufzählbarkeit,Entscheidbarkeit, Berechenbarkeit, engl.) An introd. to the theory of recursive functions

    Enumerability, decibility, computability (Aufzählbarkeit,Entscheidbarkeit, Berechenbarkeit, engl.) An introd. to the theory of recursive functions von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Einführung in die axiomatische Mengenlehre nach einer dreistündigen Vorlesung ; Münster i.W., WS 1963/64

    Einführung in die axiomatische Mengenlehre nach einer dreistündigen Vorlesung ; Münster i.W., WS 1963/64 von Hermes, Hans 1912-2003

    Veröffentlicht 1964
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Einführung in die mathematische Logik Vorlesung

    Einführung in die mathematische Logik Vorlesung von Hermes, Hans 1912-2003

    Veröffentlicht 1957
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Zum heutigen Stand der logischen Formalisierung wissenschaftlicher Aussage

    Zum heutigen Stand der logischen Formalisierung wissenschaftlicher Aussage von Hermes, Hans 1912-2003

    Veröffentlicht 1957
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Vorlesung über Entscheidungsprobleme in Mathematik und Logik

    Vorlesung über Entscheidungsprobleme in Mathematik und Logik von Hermes, Hans 1912-2003

    Veröffentlicht 1955
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1955

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


    Gespeichert in:
  16. 16
    Mathematische Logik

    Mathematische Logik von Hermes, Hans 1912-2003, Scholz, Heinrich 1884-1956

    Veröffentlicht 1952
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Ausarbeitung einer Vorlesung über elementare Algebra

    Ausarbeitung einer Vorlesung über elementare Algebra von Hermes, Hans 1912-2003

    Veröffentlicht 1950
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Einführung in die Mengenlehre auf axiomatischer Grundlage nach einer 2stg. Vorlesung; WS 1949/50

    Einführung in die Mengenlehre auf axiomatischer Grundlage nach einer 2stg. Vorlesung; WS 1949/50 von Hermes, Hans 1912-2003

    Veröffentlicht 1950
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Grundbegriffe der Verbandstheorie

    Grundbegriffe der Verbandstheorie von Hermes, Hans 1912-2003

    Veröffentlicht 1949
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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 1937
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: