Büchi’s Monadic Second Order Successor Arithmetic

  • Dirk Siefkes

Part of the Lecture Notes in Mathematics book series (LNM)

Table of contents

  1. Front Matter
    Pages N2-XII
  2. Dirk Siefkes
    Pages 1-85
  3. Dirk Siefkes
    Pages 86-124
  4. Back Matter
    Pages 125-133

About this book

Keywords

Arithmetik Japanese End User List Logik Mathematik

Authors and affiliations

  • Dirk Siefkes
    • 1
  1. 1.Mathematisches Institut der UniversitätHeidelbergDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-36678-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-662-35848-1
  • Online ISBN 978-3-662-36678-3
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book
Industry Sectors
Pharma
Automotive
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences