МЛВ в РДО на основе иерархических логик - Лущан Дмитрий - РК9-82Б