Ebook: Теория алгорифмов

В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой
теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Рецензент: доктор физико-математических наук Н. А. Шанин