Büchi's monadic second order successor arithmetic
Spremljeno u:
| Izdano u: | Decidable theories, 1 |
|---|---|
| Glavni autor: | |
| Daljnji autori: | |
| Format: | Livre papier |
| Jezik: | Anglais |
| Izdano: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1970, cop. 1970.
|
| Serija: | Lecture notes in mathematics
120 Decidable theories / edited by Gert H. Müller,... I |
| Teme: | |
| 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 |
| LEADER | 01214nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 380302 | ||
| 008 | 891128t19701970xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN006783023 | ||
| 020 | |a 0387049096 | ||
| 020 | |a 3540049096 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511/.65 | ||
| 084 | |a 03-XX | ||
| 100 | 1 | |a Siefkes, Dirk. | |
| 245 | 1 | 0 | |a Büchi's monadic second order successor arithmetic |c Dirk Siefkes,... |
| 260 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer-Verlag, |c 1970, cop. 1970. | ||
| 300 | |a 1 vol. (XII-130 p.) ; |c 26 cm. | ||
| 490 | 1 | |a Lecture notes in mathematics |v 120 | |
| 490 | 0 | |a Decidable theories / edited by Gert H. Müller,... |v I | |
| 504 | |a Bibliogr. p. [125]-127. Index | ||
| 650 | |a Machines séquentielles, Théorie des | ||
| 650 | |a Calcul des prédicats | ||
| 650 | |a Décidabilité (logique mathématique) | ||
| 700 | 1 | |a Müller, Gert Heinz, |d 1923-2006. |4 edt | |
| 773 | 0 | |t Decidable theories |f edited by Gert H. Müller,... |g 1 | |
| 776 | 0 | |0 155221124 |t Büchi's monadic second order successor arithmetic |f Dirk Siefkes,... |c Berlin [etc.] |n Springer |d 201X |s Lecture notes in mathematics |z 978-3-540-36252-4 | |
| 997 | |0 380302 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, LNM 120 | ||