Büchi's monadic second order successor arithmetic

Author(s)

Bibliographic Information

Büchi's monadic second order successor arithmetic

Dirk Siefkes

(Lecture notes in mathematics, 120)(Decidable theories, 1)

Springer-Verlag, 1970

Available at  / 73 libraries

Search this Book/Journal

Note

Bibliography: p. [125]-127

Related Books: 1-2 of 2

Details

Page Top