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

NCST

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

Определение класса NCST:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}NCST;
2) (t є NCST) => (t´ є NCST).