Логика и системы: уровни представления