Produktdarstellung Dirk Siefkes (Autor) Büchi’s Monadic Second Order Successor Arithmetic PREIS: 49,99 €