Büchi's monadic second order successor arithmetic
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | anglais |
Titre complet : | Büchi's monadic second order successor arithmetic / Dirk Siefkes,... |
Publié : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1970, cop. 1970 |
Description matérielle : | 1 vol. (XII-130 p.) |
Collection : | Lecture notes in mathematics ; 120 |
Titre de l'ensemble : | Decidable theories vol. I |
Sujets : | |
Documents associés : | Autre format:
Büchi's monadic second order successor arithmetic |
Chargement en cours