Détails bibliographiques
| Auteur principal : |
Siefkes Dirk
(Auteur) |
| Autres auteurs : |
Müller Gert Heinz
(Éditeur scientifique) |
| Format : |
Livre |
| Langue : |
anglais |
| Titre complet : |
Büchi's monadic second order successor arithmetic / Dirk Siefkes,... |
| Publié : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1970, cop. 1970
|
| Description matérielle : |
1 vol. (XII-130 p.) |
| Collection : |
Lecture notes in mathematics ; 120
|
| Titre de l'ensemble : |
Decidable theories vol. I |
| Sujets : |
|
| Documents associés : |
Autre format:
Büchi's monadic second order successor arithmetic
|
Nantilus
