Büchi's monadic second order successor arithmetic. Decidable theories I [monographie] |
| Auteur(s): | Siefkes, Dirk Müller, Gert Heinz (1923-....) (Ed.) |
| Langue: | anglais |
| Collection: | Lecture notes in mathematics, n° 120 |
| Editeur, date d'édition: | Springer, 1970 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 0-387-04909-6 ; 3-540-04909-6 |
| ISSN: | 0075-8434 |
| Classification MSC: | 02.72 (2000) |
| Notes: | xii ; bibliogr. pp. 125-127 ; index pp. 128-130 ; 25 cm ; 130 p. |
| Thèmes: | theorie des machines sequentielles, calcul des predicats, decidabilite, predicate calculus, sequential machine theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 SIE 70 | Disponible |