Теория алгорифмов
Марков А.А., Нагорный Н.М.М.: Издательство "Наука", 1984 г. - 432 с.
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
--------------------------------------
Файл: DjVu, 4,2 Mb
http://haiboria.ifolder.ru/1451099