|
|
|
|
| LEADER |
00946nam a22002777a 4500 |
| 001 |
377561 |
| 008 |
990302t19581958xxg ||| |||| 00| 0 eng d |
| 009 |
PPN004612264 |
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 517.5
|
| 084 |
|
|
|a 03-02. 2010
|
| 084 |
|
|
|a 03D60. 2010
|
| 084 |
|
|
|a 03D20. 2010
|
| 084 |
|
|
|a 03D10. 2010
|
| 084 |
|
|
|a 18-xx. 1991
|
| 084 |
|
|
|a 55-xx. 1991
|
| 100 |
1 |
|
|a Davis, Martin,
|d 1928-2023.
|
| 245 |
1 |
0 |
|a Computability and unsolvability
|c Martin Davis,...
|
| 260 |
|
|
|a New York ;
|a Toronto ;
|a London :
|b McGraw-Hill,
|c 1958.
|
| 300 |
|
|
|a 1 vol. (XXV-210 p.) ;
|c 23 cm.
|
| 490 |
1 |
|
|a McGraw-Hill series in information processing and computers
|
| 504 |
|
|
|a Bibliogr. p. 199-203. Index
|
| 650 |
|
|
|a Fonctions récursives
|
| 650 |
|
|
|a Fonctions calculables
|
| 650 |
|
|
|a Non-résolubilité (logique mathématique)
|
| 997 |
|
|
|0 377561
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, 108 DAV
|z Orléans, IDP, 2624 DAV
|