Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
517
К 71          Косовский, Н. К.
    Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : Учеб. пособие / Н. К. Косовский ; МВ и ССО РСФСР. – Л. : Изд-во Ленингр. ун-та, 1981. – 192 с.

   Пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости. Рассчитано на студентов, инженеров, аспирантов и научных сотрудников.

  УДК 517.11


            


Примірники
Місце збереження Кількість В наявностi
503 - ч/з для студ. мол. курсів 1 1
703 - абон. наук. літ. 1 1
704 - ч/з наук. літ., економ.та 1 1


Теми документа


Статистика використання: Видач: 0





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'