Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals | 978-3-540-06345-2 (3-540-06345-5) | 1973 | J.R. Büchi |
Gi - 4. Jahrestagung: Berlin, 9.-12. Oktober 1974 | 978-3-540-07141-9 (3-540-07141-5) | 1975 |