Monographie
Büchi's monadic second order successor arithmetic
Class. Mathématique : 03Dxx ; 68-XX
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 26 cm
Collection : Lecture notes in mathematics
N° de collection : 0120
Sous collection : Decidable theories
N° de sous-collection : 001
Bibliographie : Bibliogr. p. 125-127/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(120) MAT013962 | [disponible] | YRéserver |