Book titles in this series
-
-
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
- Authors:
-
- Dirk Siefkes
- Copyright: 1970
Available Renditions
- Soft cover
Book series
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Available Renditions
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Available Renditions