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 London, Limited |
| Fecha de publicación | 2013 |
| Idioma | alemán |
| ISBN-13 | 9783662366783 |
| Número de Cutter | S571b |