Monographie
Computability and unsolvability
1958
xxv, 210 p.
DAVIS c
équation diophantienne ; fonction calculable ; fonction récursive ; logique ; problème combinatoire
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-01 ; 03-02 ; 03D10 ; 03D20 ; 03F60
Pays d'édition : Etats-Unis
Ville d'édition : New York/Toronto, Ontario/London
Langue : anglais
Format : 23 cm
Collection : McGraw-Hill series in information processing and computers
Bibliographie : Bibliogr. p. 199-203/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | DAVIS c MAT003128 | [disponible] | YRéserver |