Computability & unsolvability
|
| Auteur | Davis, Martin (Auteur) |
| Collection | McGraw-Hill series in Information Processing and Computers |
| Collation | 1 vol. (XIII-210 p.) |
| Format | 24 cm |
| Illustration | s. ill. |
| Langue Edition | français |
| Sujets | Fonctions récursives |
| Mathématiques constructives | |
| Logique symbolique et mathématique | |
| Non-résolubilité (logique mathématique) | |
| Récursivité, Théorie de la | |
| Promotions |
| Nombre de réservation(s) actuelle(s) : 0 |
| Site | Numéro | Cote | Section | Etat |
| Bibliotheque | 1024720000019 | 004.015 DAV | Adulte | Bibliothèque ISAE-Supmeca | Disponible |
Notes : Bibliogr. p. 199-203. Index