Büchi's monadic second order successor arithmetic.
Series: Decidable theories; 1; Lecture notes in mathematics, 120; Lecture notes in mathematics (Springer-Verlag) ;; 120.
Publisher: Springer-Verlag
Published: 1970
Place of publication: Berlin; New York
Language: eng
Number of pages: 130
Subjects: Predicate calculus.; Sequential machine theory.
Notes: Bibliography: p. [125]-127.