The Monadic second order theory of all countable ordinals /
Autores principales: | Buchi, Richard R. 1924- (Autor, Autor/a), Siefkes, Dirk (Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Buchi's monadic second order successor arithmetic
por: Siefkes, Dirk, et al.
Publicado: (1964) -
Tableau systems for first order number theory and certain higher order theories : Sue Toledo.
por: Toledo, Sue Ann 1940-
Publicado: (1964) -
Finite automata, their algebras and grammars : towards a theory of formal expressions /
por: Buchi, Richard R. 1924-, et al.
Publicado: (1989) -
A second course in number theory
por: Cohen, Harvey
Publicado: (1962) -
The Cyclotomic numbers of order fifteen /
por: Buck, Nicholas, et al.
Publicado: (1985)