| Главная » Файлы |
| Всего материалов в каталоге: 58 Показано материалов: 41-50 |
Страницы: « 1 2 3 4 5 6 » |
|
Н. Бурбаки Теория множеств |
|
проблема TPTP Af Ad Ar(FNE(f,d,r) <=> F3(f,d,r)) Эквивалентность функции по Есенину-Вольпину и по Расеве, Сикорскому. |
|
ZENON 0.8.0 x64 |
|
Vampire 2.6 x64 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html
|
|
Vampire 4.0 x64 часть2 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html |
|
Vampire 4.0 x64 часть1 http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html |
|
Handbook of Automated Reasoning 2001 by J. Alan Robinson (Editor), Andrei Voronkov (Editor) |
|
Г.В.Давыдов, С.Ю.Маслов, Г.Е.Минц, |
|
С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98, 1968, 26–87 |
|
Коэн П. Теория множеств и континуум-гипотеза |