On the decidability of the theory of linear orderings with generalized quantifiers
Tom 107 / 1980
Fundamenta Mathematicae 107 (1980), 21-32
DOI: 10.4064/fm-107-1-21-32
