Semigroups Underlying First-Order Logic(Memoirs of the American Mathematical Society)
一阶逻辑之下的半群
其他用户浏览了