E-Books durchsuchen

Decidable Theories II [1973]

1
The monadic second order theory of ω<Subscript>1</Subscript>
129
Axiomatization of the monadic second order theory of ω<Subscript>1</Subscript>
Feedback