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

Hans Hermes

We need a photo of Hans Hermes

26 works Add another?

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

    Cover of edition enumerabilitydec0000herm First published in 1961 — 11 editions
    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
    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

    First published in 1965 — 5 editions
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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 Aufban naturwissenschaftlicher Theorien.

    First published in 1967 — 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: Einführung in die mathematische Logik: Klassische Prädikatenlogik.

    First published in 1963 — 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
We need a photo of Hans Hermes

Subjects

Symbolic and mathematical Logic, Mathematics, Mathematics, general, Recursive functions, Algorithms, Computable functions, Lattice theory, Logic, 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, 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