Büchi's monadic second order successor arithmetic /

• Κύριος συγγραφέας: Siefkes, Dirk (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer-Verlag, 1970.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 120.
• Θέματα: Λογική, Συμβολική και μαθηματική