Электронный каталог: Ляшенко, Дмитрий Николаевич - Условия адекватности языка тернарного описания логике предикатов