Enumerability, decidability, computability. An introduction to the theory of recursive functions.
Saved in:
Author / Creator: | Hermes, Hans |
---|---|
Uniform title: | Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit. English |
Edition: | 2d rev. ed. |
Imprint: | Berlin; New York, Springer, 1969. |
Description: | x, 245 p. 24 cm. |
Language: | English German |
Series: | Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Bd. 127 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/874268 |
Notes: | Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Includes bibliographies. |
---|
Similar Items
-
Enumerability, decidability, computability; an introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1965) -
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1961) -
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1971) -
Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen /
by: Deutsch, Michael, 1944-
Published: (2003) -
A decision method for elementary algebra and geometry,
by: Tarski, Alfred
Published: (1951)