The monadic second order theory of all countable ordinals J. Richard Buchi, Dirk Siefkes.

Saved in:
Bibliographic Details
Main Author: Buchi, J. Richard
Other Authors: Siefkes, Dirk
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1973.
Series:Lecture notes in mathematics (Springer-Verlag) ; 328.
Decidable theories ; 2.
Subjects:
Online Access:https://doi.org/10.1007/BFb0082720
Tags: Add Tag
No Tags, Be the first to tag this record!