Quatrième de couverture: Büchi's monadic second order successor arithmetic

Saved in:

Bibliographic Details
Main Author :	Siefkes Dirk (Auteur)
Other Authors :	Müller Gert Heinz (Éditeur scientifique)
Format :	Book
Language :	anglais
Title statement :	Büchi's monadic second order successor arithmetic / Dirk Siefkes,...
Published :	Berlin, Heidelberg, New York : Springer-Verlag , 1970, cop. 1970
Physical Description :	1 vol. (XII-130 p.)
Series :	Lecture notes in mathematics ; 120
Titre de l'ensemble :	Decidable theories vol. I
Subjects :	Théorie des machines séquentielles Calcul des prédicats Décidabilité (logique mathématique)
Related Items :	Additional physical form: Büchi's monadic second order successor arithmetic