Министерство высшего и среднего специального образования РСФСР. Учебное пособие. Л. Изд-во Ленинградского университета 1981г. 192 с. переплет/обкладинка: Мягкий, формат обычный.
Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело -- Френкеля. В последнем разделе книги -- приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования. «Содержание» - смотри фото. Тираж книги 6224 экз. Вес книги 245 гр.
Состояние книги: очень хорошее, небольшая потертость верха и низа корешка
№1241=№1240