Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers

Bulletin of the Section of Logic, Tom 20, Numer 3-4 (1991) s. 111-112
Wolfgang Leński

 

do góry