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 |
| Fecha de publicación | 1970 |
| Idioma | alemán |
| Páginas | 133 |
| ISBN-13 | 9783662358481 |
| Número de Cutter | S571b |