Информационная система по формальным теориям

CST

Класс термов: CST.

Определение класса CST:
CST={S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}.