Основные задачи логических систем (теорий) - online presentation Примеры полных систем функций