Wyniki
-
Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers
Wolfgang Leński
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 111-112
Wolfgang Leński
Bulletin of the Section of Logic
, 20
/3-4
(1991)
s. 111-112