... that its equivalent algebraic semantics is the variety AlgEm = V(Sm), often called the variety of m-valued < verse Sm = {0, #T, . ... Josep Maria Font.
確定! 回上一頁