Büchi's monadic second order successor arithmetic

Author(s)

• Siefkes, Dirk

Bibliographic Information

Büchi's monadic second order successor arithmetic

Dirk Siefkes

（Lecture notes in mathematics, 120）（Decidable theories, 1）

Springer-Verlag, 1970

Note

Bibliography: p. [125]-127

Details

• NCID: BA0680937X
• LCCN: 70111900
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 130 p.
• Size: 26 cm
• Classification:
  • LCC : QA3
  • DC : 511/.65
• Subject Headings:
  • LCSH : Predicate calculus
  • LCSH : Sequential machine theory
• Parent Bibliography ID:
  • BA00146586
  • BA06659608