Функциональные системы логических функцийдоклад на конференции