Полное описание
> Жерлов, А. К. Логическое исчисление позитивно-образованных формул, его свойства и применение : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. К. Жерлов. - Иркутск, 1999. - 22 с. - Текст : непосредственный.
Библиогр.:с. 20-22(11 назв.)
ГРНТИ | УДК | |
28.23 | 004.832.3(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР00-2199)>
Шифр в сводном ЭК: 89c831edacdc189bdfab87899d6c1a28
Заказ фрагмента документа ₽