Vol. 120 Siefkes, Dirk Büchi's Monadic Second Order Successor ArithmeticQA9.35 S45 Artículo anterior: Vol. 0121 Anterior Artículo siguiente: Vol. 0119 Siguiente