Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus [monographie] |
| Auteur(s): | Goodstein, Reuben Louis (1912-1985) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland, 1957 |
| Ville(s) d'édition: | Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 02.00 (2000) |
| Notes: | xii ; bibliogr. pp. 187-188 ; index pp. 189-190 ; 21 cm ; 190 p. |
| Thèmes: | theorie de la recursivite, theorie des nombres, fonctions recursives, recursion theory, number theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 GOO 57 | Disponible |