Büchi's monadic second order successor arithmetic
Enregistré dans:
| Dans: | Decidable theories, 1 |
|---|---|
| Auteur principal: | |
| Autres auteurs: | |
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1970, cop. 1970.
|
| Collection: | Lecture notes in mathematics
120 Decidable theories / edited by Gert H. Müller,... I |
| Sujets: | |
| 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 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Salle de lecture | LNM 120 | Disponible |