Büchi's monadic second order successor arithmetic
Bewaard in:
| Gepubliceerd in: | Decidable theories, 1 |
|---|---|
| Hoofdauteur: | |
| Andere auteurs: | |
| Formaat: | Livre papier |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1970, cop. 1970.
|
| Reeks: | Lecture notes in mathematics
120 Decidable theories / edited by Gert H. Müller,... I |
| Onderwerpen: | |
| Autres localisations: | Voir dans le Sudoc |
| Consulter le titre dans une bibliothèque: | |
| Edition sous un autre format: | • Büchi's monadic second order successor arithmetic, Dirk Siefkes,..., Berlin [etc.], Springer, 201X, Lecture notes in mathematics, 978-3-540-36252-4 |