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 71 for search 'Hermes, Hans', query time: 0.38s Refine Results
  1. 1
    Eine Termlogik mit Auswahloperator /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Introduction to mathematical logic
    by Hermes, Hans, Hermes, Hans, Hermes, Hans
    Published 1973

    Book
  3. 3
    Enumerability, decidability, computability; an introduction to the theory of recursive functions
    by Hermes, Hans, Hermes, Hans, Hermes, Hans
    Published 1965

    Book
  4. 4
    Enumerability, decidability, computability An introduction to the theory of recursive functions.
    by Hermes, Hans, Hermes, Hans, Hermes, Hans
    Published 1969

    Book
  5. 5
    Enumerability · Decidability Computability : an Introduction to the Theory of Recursive Functions /
    by Hermes, Hans, Hermes, Hans, Hermes, Hans
    Published 1965

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Term Logic with Choice Operator /
    by Hermes, Hans, Hermes, Hans
    Published 1970

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Term logic with choice operator
    by Hermes, Hans, Hermes, Hans
    Published 1970

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Eine axiomatisierung der allgemeinen mechanik,
    by Hermes, Hans, Hermes, Hans
    Published 1938

    Book
  9. 9
    Eine Termlogik mit Auswahloperator
    by Hermes, Hans, Hermes, Hans
    Published 1965

    Book
  10. 10
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen
    by Hermes, Hans, Hermes, Hans
    Published 1961

    Book
  11. 11
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen
    by Hermes, Hans, Hermes, Hans
    Published 1971

    Book
  12. 12
    Einführung in die Verbandstheorie
    by Hermes, Hans, Hermes, Hans
    Published 1955

    Book
  13. 13
    Methoden der Logik und Mathematik Dargestellt von Hans Hermes. Statistische Methoden. Dargestellt von Erich Mittenecker.
    by Hermes, Hans, Hermes, Hans
    Published 1968

    Book
  14. 14
    Semiotik : eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen /
    by Hermes, Hans, Hermes, Hans
    Published 1938

    Book
  15. 15
    Einführung in die mathematische Logik: Klassische Prädikatenlogik
    by Hermes, Hans, Hermes, Hans
    Published 1963

    Book
  16. 16
    Einführung in die Verbandstheorie
    by Hermes, Hans, Hermes, Hans
    Published 1967

    Book
  17. 17
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen
    by Hermes, Hans, Hermes, Hans
    Published 1961

    Book
  18. 18
    Term logic with choice operator
    by Hermes, Hans, Hermes, Hans
    Published 1970

    Book
  19. 19
    Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
    by Hermes, Hans, Hermes, Hans
    Published 1967

    Book
  20. 20
    Semiotik; ein theorie der zeichengestalten als grundlage für untersuchungen von formalisierten sprachen,
    by Hermes, Hans
    Published 1938

    Book
Search Tools: Get RSS Feed — Email this Search