The Monadic Second Order Theory of All Countable Ordinals. Decidable Theories II (Lecture Notes in Mathematics, 328)

Decidable

by: J. Richard Buchi · Dirk Siefkes

Paperback

details (USA).

ISBN: 978-0-387-06345-4

ISBN-10: 0-387-06345-5

Springer-Verlag · 1973