Theory of recursive functions and effective computability / Hartley Rogers, Jr.
Langue : anglais.Pays : Canada, , Grande-Bretagne.Publication : New York NY : Toronto : London [etc.] : McGraw-Hill, 1967.Description : XX-482 p. ; 23 cm.Collection: McGraw-Hill series in higher mathematics., Sujet - Nom commun: Logique| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Monographie | IREM P7 | 05 ROG 67 (Parcourir l'étagère(Ouvrir ci-dessous)) | Exclu du prêt | 1942 | |
| Monographie | IREM P7 | 05 ROG 67 b (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 1943 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 05 QUI 72 Méthodes de logique | 05 ROB 55 Théorie métamathématique des idéaux | 05 ROB 55 a Théorie métamathématique des idéaux | 05 ROG 67 Theory of recursive functions and effective computability | 05 ROG 67 b Theory of recursive functions and effective computability | 05 ROS 53 Logic for mathematicians. | 05 ROS 53 a Logic for mathematicians. |
Il n'y a pas de commentaire pour ce titre.