Skip to main content
  • Book
  • © 1970

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

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

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36252-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 39.95
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (2 chapters)

  1. Front Matter

    Pages I-XII
  2. Decidability and completeness of SC

    • Gert H. Müller, Dirk Siefkes
    Pages 1-85
  3. Benefits of the decision procedure

    • Gert H. Müller, Dirk Siefkes
    Pages 86-124
  4. Back Matter

    Pages 125-130

Keywords

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

Bibliographic Information

  • Book Title: Decidable Theories

  • Book Subtitle: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

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

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0061047

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1970

  • Softcover ISBN: 978-3-540-04909-8

  • eBook ISBN: 978-3-540-36252-4

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: XIV, 134

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36252-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 39.95
Price excludes VAT (USA)