С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98, 1968, 26–87 - Мои файлы - Каталог файлов

С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98, 1968, 26–87

[ Скачать с сервера (8.56 Mb) ]	24.06.2014, 09:34
С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98, 1968, 26–87
1 2 3 4 5 Категория: Мои файлы \| Добавил: alex_dorin
Просмотров: 430 \| Загрузок: 48 \| Рейтинг: 0.0/0