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