General recursion theory : an axiomatic approach [monographie] |
| Auteur(s): | Fenstad, Jens Erik (1935-....) |
| Langue: | anglais |
| Collection: | Perspectives in mathematical logic |
| Editeur, date d'édition: | Springer, 1980 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 3-540-09349-4 ; 0-387-09349-4 |
| ISSN: | 0172-6641 |
| Classification MSC: | 03D75 (2000) |
| Notes: | vi ; bibliogr. pp. 209-216 ; index pp. 217-225 ; 25 cm ; 225 p. |
| Thèmes: | theorie de la recursivite, recursion theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 FEN 80 | Disponible |