Депозитарий электронных изданий

| Общие сведения | Документы | Регистрация | Платные услуги | Каталог |

Описание электронного издания

Аксиоматические системы в логике и программировании

Основные сведения
Шевляков А. Н.
Аксиоматические системы в логике и программировании
учебное пособие
Текстовое (символьное) электронное издание
1 DVD-R
г. Омск
Издатель ФГАОУ ВО "Омский государственный университет им. Ф. М. Достоевского"
2020
процессор с частотой 1,3 ГГц или выше ; ОЗУ 512 Мб ; Microsoft Windows XP/Vista/7/8/10 ; CD-ROM, мышь ; Adobe Acrobat Reader 8.0 и выше
0322002728
01.10.2020

Производитель электронного издания
ФГАОУ ВО "Омский государственный университет им. Ф. М. Достоевского"
644077; Омская область, г. Омск, пр-т Мира, д. 55-а
http://www.omsu.ru