|
|
|
|
| LEADER |
01215nam a22003011 4500 |
| 001 |
c000004165 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840628s1961 wb a b 00000 ger |
| 019 |
1 |
|
|a 3282202
|z 12458759
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)10949016
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC/ICU
|c ICU
|
| 050 |
0 |
0 |
|a QA248.5
|b .H4
|
| 100 |
1 |
|
|a Hermes, Hans.
|
| 245 |
1 |
0 |
|a Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit;
|b Einfuhrung in die Theorie der rekursiven Funktionen.
|
| 260 |
|
|
|a Berlin,
|b Springer,
|c 1961.
|
| 300 |
|
|
|a 246 p.
|b illus.
|c 24 cm.
|
| 490 |
1 |
|
|a Die Grundlehren der mathematischen Wissenschaften,
|v Bd. 109
|
| 504 |
|
|
|a Includes bibliography.
|
| 650 |
|
0 |
|a Recursive functions.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Godel's theorem.
|
| 650 |
|
0 |
|a Computable functions.
|
| 830 |
|
0 |
|a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ;
|v Bd. 109.
|
| 852 |
8 |
|
|b CARM
|h A2:AD02D0
|i C00397
|p 0023461
|f BK
|
| 082 |
0 |
|
|a 511.2
|
| 999 |
f |
f |
|i 0bb2bda0-12ae-57fb-b0cd-7b1279d00522
|s 1c14d8ac-e1b0-566f-a5b6-883c9875f3f2
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C00397
|f A2:AD02D0
|h Other scheme
|i book
|m 0023461
|