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