Advertisement

© 1973

Decidable Theories II

The Monadic Second Order Theory of All Countable Ordinals

  • Authors
  • Editors
  • G. H. Müller
  • D. Siefkes
Book

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

Table of contents

  1. Front Matter
    Pages I-VI
  2. J. Richard Büchi
    Pages 1-127
  3. J. Richard Büchi, Dirk Siefkes
    Pages 129-217
  4. Back Matter
    Pages 119-120

About this book

Keywords

Büchis Entscheidungsverfahren Ordinals order theory ordinal

Bibliographic information

  • Book Title Decidable Theories II
  • Book Subtitle The Monadic Second Order Theory of All Countable Ordinals
  • Authors J.R. Büchi
    D. Siefkes
  • Editors G.H. Müller
    D. Siefkes
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0082720
  • Copyright Information Springer-Verlag Berlin Heidelberg 1973
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-06345-2
  • eBook ISBN 978-3-540-46946-9
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VIII, 224
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking