Теория дедуктивных систем и ее применения/Маслов, Сергей Юрьевич.

 

QR-код документа

Оценок: 0

В12
М 316
Маслов, Сергей Юрьевич.
    Теория дедуктивных систем и ее применения / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 135 с. : ил. ; 20 см. - (Кибернетика). - Библиография: с. 129-131. - 8800 экз. - 00.45 р.
ББК В12

Кл.слова (ненормированные):
математическая логика -- теория исчислений -- исчислений математических теорий
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)

Авторизуйтесь для получения дополнительных услуг

Похожие издания по классификации

Введение в теорию множеств/Хенл, Джеймс М.
Многообразия алгебр/Смирнов, Дмитрий Матвеевич.
Как математика ум в порядок приводит/Столяр, Абрам Аронович.
Как математика ум в порядок приводит/Столяр, Абрам Аронович.
Математическая логика и алгоритмические проблемы