The monadic second order theory of all countable ordinals
Shranjeno v:
| izdano v: | Decidable theories, 2 |
|---|---|
| Glavni avtor: | Büchi, Julius Richard, 1924-1984 |
| Drugi avtorji: | Müller, Gert Heinz, 1923-2006 (Éditeur intellectuel), Siefkes, Dirk (Éditeur intellectuel) |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in mathematics
328 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| 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,..., Berlin [etc.], Springer-Verlag, 1973, 1 volume (VI-217 p.), Lecture notes in mathematics, 3-540-06345-5 • Decidable Theories, Texte imprimé, 9783662176832 |
Podobne knjige/članki
-
The monadic second order theory of all countable ordinals
(Livre papier)
Büchi, Julius Richard, 1924-1984, et autres
Springer-Verlag, 1973 -
Extensional Gödel functional interpretation : a consistency proof of classical analysis
(Livre papier)
Luckhardt, Horst
Springer, 1973 -
Extensional Gödel functional interpretation : a consistency proof of classical analysis
(Livre numérique)
Luckhardt, Horst -
Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
(Livre papier)
Delahaye, Jean-Paul, 1952-
Dunod, 2025 -
Les théorèmes d'incomplétude de Gödel
(Livre papier)
Smullyan, Raymond Merrill, 1919-2017
Dunod, 2000

