It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 28, 2008 | History
Edit

Hans Hermes

26 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Enumerability, decidability, computability.: An introduction to the theory of recursive functions.

    First published in 1961 11 editions in 2 languages — 2 previewable Cover of edition enumerabilitydec0000herm_u9p7
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Einführung in die Verbandstheorie.

    First published in 1955 8 editions in 2 languages
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions

    First published in 1965 5 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Einführung in die mathematische Logik: Klassische Prädikatenlogik

    First published in 1969 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to mathematical logic.

    First published in 1973 3 editions in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

    First published in 1969 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien

    First published in 1967 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Eine Termlogik mit Auswahloperator

    First published in 1965 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Term Logic with Choice Operator

    First published in 1970 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Eine Axiomatisierung der allgemeinen Mechanik.

    First published in 1938 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.

    First published in 1937 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Semiotik: eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen

    First published in 1938 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Posthumous Writings [of] Gottlob Frege

    First published in 1979 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Su I

    First published in 1991 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Su II

    First published in 1991 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in Die Theorie der Rekursiven Funktionen

    First published in 2013 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to Mathematical Logic (Universitext)

    First published in 1973 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Zahlen (Springer-Lehrbuch)

    First published in 1992 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

    First published in 1965 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Selecta Mathematica II

    First published in 2013 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Hans Hermes
Subjects
Symbolic and mathematical Logic, Recursive functions, Algorithms, Computable functions, Lattice theory, Logic, Mathematics, Algorithmentheorie, Analytic Mechanics, Analytic Medicines, Aufzählbarkeit, Berechenbarkeit, Comparative and general Grammar, Entscheidbarkeit, Fonctions récursives, Goedel's theorem, Gödel's theorem, Logique, Mathematical statistics, Mathematics, data processing, Mathematics, general, Mathématiques, Methodology, Rekursive Funktion, Science
People
Gottlob Frege (1848-1925)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1774540A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 28, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import