Choice sequences : a chapter of intuitionistic mathematics [monographie] |
| Auteur(s): | Troelstra, Anne Sjerp |
| Langue: | anglais |
| Collection: | Oxford logic guides |
| Editeur, date d'édition: | Clarendon Press , 1977 |
| Ville(s) d'édition: | Oxford (GB) |
| ISBN: | 0-19-853163-X |
| ISSN: | 0953-1173 |
| Classification MSC: | 02C15 |
| Notes: | ix ; bibliogr. pp. 161-167 ; index pp. 168-170 ; 24 cm ; 170 p. |
| Thèmes: | sequences, mathematiques intuitionnistes, series, intuitionistic mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 TRO 77 | Disponible |