 |
| Auteurs | Davis, Martin (Auteur) |
| Collection | McGraw-Hill series in Information Processing and Computers |
| Collation | 1 vol. (XIII-210 p.) |
| Illustration | s. ill. |
| Format | 24 cm |
| Langue d'édition | 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 |
| Nombre de réservation(s) actuelle(s) : 0 | |
|
Notes : Bibliogr. p. 199-203. Index
Connectez-vous pour poster un commentaire