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

VST

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


Определение класса VST:
VST={x1, y1, z1, x2, y2, z2, ..., xn, yn, zn, ...}.