Title: Büchi's monadic second order successor arithmetic
Subjects: Predicate calculus, Sequential machine theory