Основы Moderon Logic и языка EEPL