Büchi's monadic second order successor arithmetic.
Edición de la obra Büchi's monadic second order successor arithmetic
| Autor | Dirk Siefkes |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1970 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 130 |
| OCLC | 138968 |
| LCCN | 70111900 |
| Serie | Decidable theories · 1 · Lecture notes in mathematics, 120 |
| Número de Cutter | S571b |