Lataa...
Monadic second order theory of all countable ordinals
| Päätekijä: | Buchi, J Richard |
|---|---|
| Muut tekijät: | Siefkes, Dirk |
| Aineistotyyppi: | Printed Book |
| Julkaistu: |
Springer-Verlag, Berlin
1973
|
| Sarja: | Lecture Notes in Mathematics, No.0328
|
| Aiheet: |
Samankaltaisia teoksia
-
Tableau systems for first order number theory and certain higher order theories
Tekijä: Toledo, Sue
Julkaistu: (1975) -
Proceedings of the second international conference on the theory of groups
Julkaistu: (1974) -
Proceedings of the second Japan-USSR symposium on probability theory
Julkaistu: (1973) -
First order categorical logic
Tekijä: Makkai, Michael
Julkaistu: (1977) -
Barrelledness in topological and ordered vector spaces
Tekijä: Hussain, T
Julkaistu: (1978)