Title: Bchis Monadic Second Order Successor Arithmetic
Subjects: Predicate calculus, Sequential machine theory, Goedel's theorem, Model theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations