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