1 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

2 - Decidalbes theories. II : the monadic second order theory of all countable ordinals
Büchi, J. Richard (1924-1984)   /   Siefkes, Dirk (Ed.)   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 BUC 73]