|
|
|
|
| LEADER |
01083nam a22002777a 4500 |
| 001 |
375823 |
| 008 |
840604t19651965xxe ||| |||| 00| 0 eng d |
| 009 |
PPN014569310 |
| 020 |
|
|
|a 0911216014 (br.)
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 512.8
|
| 100 |
1 |
|
|a Davis, Martin,
|d 1928-2023.
|
| 245 |
1 |
0 |
|a The undecidable :
|b basic papers on undecidable propositions, unsolvable problems and computable functions
|c edited by Martin Davis,... ; [Textes de Kurt Gödel, Alonzon Church, Alan M.Turing,..[et al.]].
|
| 260 |
|
|
|a Hewlett (N.Y.) :
|b Raven Press.
|
| 260 |
|
|
|c C 1965.
|
| 300 |
|
|
|a 1 vol. (440 p.) ;
|c 25 cm.
|
| 504 |
|
|
|a Notes bibliogr. Index
|
| 650 |
|
|
|a Fonctions récursives
|
| 650 |
|
|
|a Gödel, Théorème de
|
| 650 |
|
|
|a Turing, Machines de
|
| 650 |
|
|
|a Non-résolubilité (logique mathématique)
|
| 650 |
|
|
|a Fonctions calculables
|
| 700 |
1 |
|
|a Gödel, Kurt,
|d 1906-1978.
|4 aut
|
| 700 |
1 |
|
|a Church, Alonzo,
|d 1903-1995.
|4 aut
|
| 700 |
1 |
|
|a Turing, Alan Mathison,
|d 1912-1954.
|4 aut
|
| 997 |
|
|
|0 375823
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, 5400 DAV
|
