Suchergebnisse - Hermes, Hans

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 filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2000
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1978
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Introduction to Mathematical Logic
    von Hermes, Hans 1912-2003

    Veröffentlicht 1973
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1969
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1967
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Eine Termlogik mit Auswahloperator
    von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Eine Termlogik mit Auswahloperator
    von Hermes, Hans 1912-2003

    Veröffentlicht 1965
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1965
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1963
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1961
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1960
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Ausarbeitung einer Vorlesung über Funktionentheorie 1
    von Hermes, Hans 1912-2003

    Veröffentlicht 1951
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2000
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1972
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1971
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1967
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1967
    Buch


    Gespeichert in:

Suchwerkzeuge: