The Monadic second order theory of all countable ordinals /
Main Authors: | Buchi, Richard R. 1924- (Author, Autor/a), Siefkes, Dirk (Autor/a) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlín :
Springer,
1964-.
|
Subjects: |
Similar Items
-
Buchi's monadic second order successor arithmetic
by: Siefkes, Dirk, et al.
Published: (1964) -
Tableau systems for first order number theory and certain higher order theories : Sue Toledo.
by: Toledo, Sue Ann 1940-
Published: (1964) -
Finite automata, their algebras and grammars : towards a theory of formal expressions /
by: Buchi, Richard R. 1924-, et al.
Published: (1989) -
A second course in number theory
by: Cohen, Harvey
Published: (1962) -
The Cyclotomic numbers of order fifteen /
by: Buck, Nicholas, et al.
Published: (1985)