The monadic second order theory of all countable ordinals
Guardat en:
| Publicat a: | Decidable theories, 2 |
|---|---|
| Autors principals: | Büchi, Julius Richard, 1924-1984, Siefkes, Dirk (Editor) |
| Altres autors: | Müller, Gert Heinz, 1923-2006 (Editor) |
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer-Verlag
1973, cop. 1973.
|
| Col·lecció: | Lecture notes in mathematics
328 Decidable theories / edited by G. H. Müller and D. Siefkes II |
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
| Consulter le titre dans une bibliothèque: | |
| Edition sous un autre format: | • The monadic second order theory of all countable ordinals, J. Richard Büchi,... Dirk Siefkes,..., 201X, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-46946-9 |
Ítems similars
-
The monadic second order theory of all countable ordinals
(Livre numérique)
Büchi, Julius Richard, 1924-1984 -
Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
(Livre papier)
Delahaye, Jean-Paul, 1952-
Dunod, 2025 -
Undecidable theories
(Livre papier)
Tarski, Alfred, 1901-1983
North-Holland, 1971 -
On formally undecidable propositions of Principia mathematica and related systems
(Livre papier)
Gödel, Kurt, 1906-1978
Oliver & Boyd, 1962 -
Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
(Livre numérique)
Delahaye, Jean-Paul, 1952-
Dunod, 2025

