Decidable Theories I

  • Authors
  • Gert H. Müller
  • Dirk Siefkes

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Gert H. Müller, Dirk Siefkes
    Pages 1-85
  3. Gert H. Müller, Dirk Siefkes
    Pages 86-124
  4. Back Matter
    Pages 125-130

About this book

Keywords

Büchis Entscheidungsverfahren Second Order Successor Arithmetic Sucessor Arithmetic arithmetic decidability

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0061047
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04909-8
  • Online ISBN 978-3-540-36252-4
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences