The monadic second order theory of all countable ordinals /
Κύριος συγγραφέας: | Büchi, J. Richard (συγγραφέας.) |
---|---|
Άλλοι συγγραφείς: | Siefkes, Dirk (συγγραφέας.) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer,
1973.
|
Σειρά: | Lecture notes in mathematics (Springer-Verlag)
328. |
Θέματα: |
Παρόμοια τεκμήρια
-
Büchi's monadic second order successor arithmetic /
ανά: Siefkes, Dirk
Έκδοση: (1970) -
Ordinal algebras /
ανά: Tarski, Alfred
Έκδοση: (1956) -
Ordinal algebras /
ανά: Tarski, Alfred
Έκδοση: (1956) -
First-order logic /
ανά: Smullyan, Raymond M.
Έκδοση: (1968) -
Lattices over orders /
ανά: Roggenkamp, Klaus W.
Έκδοση: (1970)