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

SST

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

Определение класса SST:
SST={a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}.