× Decidable TheoriesVol. 1: Büchi`s Monadic Second Order Successor Arithmeticvon Dirk Siefkes, herausgegeben von Gert H. MüllerInhaltsverzeichnisDecidability and completeness of SC.- Benefits of the decision procedure. Verfügbarkeit jetzt prüfen