Büchi's monadic second order successor arithmetic /

• Main Author: Siefkes, Dirk (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, 1970.
• Series: Lecture notes in mathematics (Springer-Verlag) 120.
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: xii, 130 σ. ; 26 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία.