Predicative arithmetic [monographie] |
| Auteur(s): | Nelson, Edward (1932-2014) |
| Langue: | anglais |
| Collection: | Mathematical notes |
| Editeur, date d'édition: | Princeton University Press, 1986 |
| Ville(s) d'édition: | Princeton, New Jersey (US) |
| ISBN: | 0-691-08455-6 |
| Classification MSC: | 03F30 (2000) |
| Notes: | viii ; bibliogr. pp. 181-182 ; index pp. 183-189 ; 23 cm ; 189 p. |
| Thèmes: | mathematiques constructives, arithmetique, constructive mathematics, arithmetic |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 NEL 86 | Disponible |