|
|
|
|
| LEADER |
01375nam a22003137a 4500 |
| 001 |
378193 |
| 008 |
911206t19651965xxe ||| |||| 00| 0 eng d |
| 009 |
PPN009075763 |
| 020 |
|
|
|c (rel.)
|
| 041 |
1 |
|
|a eng
|h ger
|
| 082 |
|
|
|a 510/.01
|
| 082 |
|
|
|a 164
|
| 082 |
|
|
|a 518.1
|
| 084 |
|
|
|a F.1
|
| 084 |
|
|
|a 02.70. 2000
|
| 100 |
1 |
|
|a Hermes, Hans,
|d 1912-2003.
|
| 245 |
1 |
0 |
|a Enumerability, decidability, computability :
|b an introduction to the theory of recursive functions
|c by Hans Hermes,... ; translated by G. T. Herman and O. Plassmann.
|
| 260 |
|
|
|a Berlin ;
|a Heidelberg ;
|a New York :
|b Springer-Verlag,
|c 1965.
|
| 300 |
|
|
|a 1 volume (ix-245 pages) ;
|c 24 cm.
|
| 490 |
1 |
|
|a Die Grundlehren der mathematischen Wissenschaften
|x 0072-7830
|v Band 127
|
| 504 |
|
|
|a Bibliographies en fin de parties. Index
|
| 650 |
|
|
|a Théorème de Gödel
|
| 650 |
|
|
|a Fonctions récursives
|
| 650 |
|
|
|a Fonctions récursives
|
| 650 |
|
|
|a Algorithmes
|
| 700 |
1 |
|
|a Hermann, G. T.
|4 trl
|
| 700 |
1 |
|
|a Plassmann, O.
|4 trl
|
| 765 |
0 |
|
|0 009075518
|t Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
|o Einführung in die Theorie der rekursiven Funktionen
|f von Hans Hermes,...
|d 1961
|c Berlin
|n Springer-Verlag
|p 1 volume (ix-246 pages)
|s Die Grundlehren der mathematischen Wissenschaften
|z 0-387-08869-5
|
| 997 |
|
|
|0 378193
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, 919 HER
|