Formalized recursive functionals and formalized realizability [monographie] |
| Auteur(s): | Kleene, Stephen Cole (1909-1994) |
| Langue: | anglais |
| Collection: | Memoirs of the American Mathematical Society, n° 89 |
| Editeur, date d'édition: | American Mathematical Society, 1969 |
| Ville(s) d'édition: | Providence, Rhode Island (US) |
| ISBN: | 0-8218-1289-0 |
| ISSN: | 0065-9266 |
| Classification MSC: | 02.23 |
| Notes: | Bibliogr. pp. 104-106 ; 25 cm ; 106 p. |
| Thèmes: | fonctions recursives, logique de premier ordre, recursive functions |
| Localisation: | Ouvrage localisé salle de recherche - Cote Rb 1/2 |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 KLE 69 | Disponible |