Электронный каталог: Леоненко Леонид Леонидович - Формальная семантика для "минимального" исчисления языка тернарного описания