Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
Saved in:
| Author / Creator: | Hermes, Hans |
|---|---|
| Imprint: | Berlin, Springer-Verlag, 1961. |
| Description: | 246 p. illus. 24 cm. |
| Language: | German |
| Series: | Die Grundlehren der mathematischen Wissenschaften, Bd. 109 Grundlehren der mathematischen Wissenschaften. 109. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/614800 |
MARC
| LEADER | 00000nam a22000001 4500 | ||
|---|---|---|---|
| 001 | 614800 | ||
| 003 | ICU | ||
| 005 | 19950902000000.0 | ||
| 008 | 840709s1961 wb a b 00000 ger u | ||
| 010 | |a 62001669 /L/r84 | ||
| 035 | |a (ICU)BID8103880 | ||
| 035 | |a (OCoLC)10949016 | ||
| 040 | |a DLC/ICU |c ICU | ||
| 041 | 0 | |a ger | |
| 050 | 0 | |a QA248.5 |b .H4 | |
| 100 | 1 | |a Hermes, Hans |0 http://id.loc.gov/authorities/names/n50030759 |1 http://viaf.org/viaf/82820 | |
| 245 | 1 | 0 | |a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; |b Einführung in die Theorie der rekursiven Funktionen. |
| 260 | 0 | |a Berlin, |b Springer-Verlag, |c 1961. | |
| 300 | |a 246 p. |b illus. |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Die Grundlehren der mathematischen Wissenschaften, |v Bd. 109 | |
| 504 | |a Includes bibliography. | ||
| 650 | 0 | |a Recursive functions |0 http://id.loc.gov/authorities/subjects/sh85112014 | |
| 650 | 0 | |a Algorithms |0 http://id.loc.gov/authorities/subjects/sh85003487 | |
| 650 | 0 | |a Gödel's theorem |0 http://id.loc.gov/authorities/subjects/sh85055601 | |
| 650 | 0 | |a Computable functions |0 http://id.loc.gov/authorities/subjects/sh85029469 | |
| 650 | 7 | |a Algorithms. |2 fast |0 http://id.worldcat.org/fast/fst00805020 | |
| 650 | 7 | |a Computable functions. |2 fast |0 http://id.worldcat.org/fast/fst00871985 | |
| 650 | 7 | |a Gödel's theorem. |2 fast |0 http://id.worldcat.org/fast/fst00949806 | |
| 650 | 7 | |a Recursive functions. |2 fast |0 http://id.worldcat.org/fast/fst01091984 | |
| 830 | 0 | |a Grundlehren der mathematischen Wissenschaften. |v 109. |0 http://id.loc.gov/authorities/names/n42037698 | |
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 929 | |a cat | ||
| 999 | f | f | |i 06be011e-7b8d-5e0e-9ee5-45d19bf1da8b |s 6afc8517-df06-568b-9234-16991cbd9e74 |
| 928 | |t Library of Congress classification |a QA248.5.H55 |l ASR |c ASR-SciASR |i 5727933 | ||
| 927 | |t Library of Congress classification |a QA248.5.H55 |l ASR |c ASR-SciASR |e CRERAR |b 10665724 |i 1601696 | ||
