× Büchi’s Monadic Second Order Successor Arithmeticvon Dirk SiefkesXII, 133 S. 1 Abb. Verfügbarkeit jetzt prüfen