Косовский Н.К., Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов.

1981, изд-во: Издательство Ленинградского университета, город: Ленинград, стр. : 192 стр., обложка: Мягкая издательская обложка., формат: Слегка увеличенный., состояние: Отличное. . Пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело -- Френкеля. В последнем разделе книги -- приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования.