Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.

Book titles in this series

  1. Decidable Theories

    Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

    Authors:
    • J.R. Büchi
    • D. Siefkes
    • Copyright: 1973

    Available Renditions

    • Soft cover
  2. Decidable Theories

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

    Authors:
    • Dirk Siefkes
    • Copyright: 1970

    Available Renditions

    • Soft cover