×
  • Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

    Büchi J. R. Siefkes D.

5 - 6Hours to read