The expressive power of Malitz quantifiers for linear orderings.评价结果

评估详情