Büchi's monadic second order successor arithmetic
Tipo de material: TextoSeries Lecture notes in mathematics ; ; 120Detalles de publicación: Berlin : Springer-Verlag, 1970Descripción: xii, 130 pTema(s): NUMEROS | TEORIA DE LAS MAQUINAS SECUENCIALESClasificación CDD: 512.817Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro General | Biblioteca Central | Colección General | 512.817 S571 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609000083177 |
p. 125-127
2