| Главная » Файлы » Мои файлы |
| В категории материалов: 77 Показано материалов: 71-77 |
Страницы: « 1 2 ... 6 7 8 |
Сортировать по: Дате · Названию · Рейтингу · Комментариям · Загрузкам · Просмотрам
|
Мостовский А. Конструктивные множества и их приложения
|
|
Расева Е. Сикорский Р. Математика метаматематики
|
|
Клини С. Математическая логика
|
|
Алешина Н. А. Анисов А.М Быстов П.И. и др. Логика и компьютер
|
|
Матулис В.А. Два варианта классического исчисления предикатов без структурных правил вывода. О вариантах классического исчиления предикатов с единственным деревом вывода |
|
Воронков А.А. , Дегтярев А.И. Автоматическое доказательство теорем
|
|
Кангер С. Упрощенный метод доказательства для элементарной логики
|