Bounded artithmetic [monographie] |
| Auteur(s): | Buss, Samuel R. |
| Langue: | anglais |
| Collection: | Studies in proof theory : lecture notes, n° 3 |
| Editeur, date d'édition: | Bibliopolis, 1986 |
| Ville(s) d'édition: | Naples (IT) |
| ISBN: | 88-7088-150-4 |
| Classification MSC: | 03F30 |
| Notes: | vi ; bibliogr. pp. 215-216 ; index pp. 220-221 ; 24 cm ; 221 p. |
| Thèmes: | mathematiques constructives, computational complexity, constructive mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BUS 86 | Disponible |