Hans Hermes

About 1970 in Oberwolfach Hans Hermes (; 12 February 1912 – 10 November 2003) was a German mathematician and logician, who made significant contributions to the foundations of mathematical logic. Provided by Wikipedia
Showing 1 - 20 results of 84 for search 'Hermes, Hans', query time: 0.10s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Rekursive Funktionen

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

    Published 1977
    Book


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

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

    Published 1967
    Indexes
    Book


    Saved 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 by Hermes, Hans-Dieter 1966-

    Published 2000
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hermes, Hans 1912-2003

    Published 1978

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Die vier Wissenschaften der Pythagoreer

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

    Published 1977
    Book Interlibrary loan Place Request


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

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

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Introduction to mathematical logic

    Introduction to mathematical logic by Hermes, Hans 1912-2003

    Published 1973
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Introduction to Mathematical Logic

    Introduction to Mathematical Logic by Hermes, Hans 1912-2003

    Published 1973

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hermes, Hans 1912-2003, Scholz, Heinrich 1884-1956

    Published 1970
    Book Interlibrary loan Place Request


    Saved 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 by Hermes, Hans 1912-2003

    Published 1969
    Get full text
    Electronic eBook Interlibrary loan Place Request


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

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

    Published 1967
    Book Interlibrary loan Place Request


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

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

    Published 1967
    Book Interlibrary loan Place Request


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

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

    Published 1967

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hermes, Hans 1912-2003

    Published 1965
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator by Hermes, Hans 1912-2003

    Published 1965
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator by Hermes, Hans 1912-2003

    Published 1965
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hermes, Hans 1912-2003

    Published 1965

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  18. 18
    Eine Termlogik mit Auswahloperator

    Eine Termlogik mit Auswahloperator by Hermes, Hans 1912-2003

    Published 1965
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hermes, Hans

    Published 1965
    Electronic eBook Interlibrary loan Place Request


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

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

    Published 1963
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: