Büchi's monadic second order successor arithmetic
Zapisane w:
| Wydane w: | Decidable theories, 1 |
|---|---|
| 1. autor: | |
| Kolejni autorzy: | |
| Format: | Livre papier |
| Język: | Anglais |
| Wydane: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1970, cop. 1970.
|
| Seria: | Lecture notes in mathematics
120 Decidable theories / edited by Gert H. Müller,... I |
| Hasła przedmiotowe: | |
| 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 |
| Opis fizyczny: | 1 vol. (XII-130 p.) ; 26 cm. |
|---|---|
| Bibliografia: | Bibliogr. p. [125]-127. Index |
| ISBN: | 0387049096 3540049096 |