Recomienda este artículo a tus amigos:
Decidable Theories (Buchi's Monadic Second Order Successor Arithmetic) - Lecture Notes in Mathematics 1970 edition
Dirk Siefkes
Decidable Theories (Buchi's Monadic Second Order Successor Arithmetic) - Lecture Notes in Mathematics 1970 edition
Dirk Siefkes
Book by Siefkes, Dirk
134 pages, biography
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 1970 |
ISBN13 | 9783540049098 |
Editores | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 134 |
Dimensiones | 156 × 234 × 7 mm · 213 g |
Lengua | English |
Editor | Muller, Gert H. |