Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
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