В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов. Это и многое другое вы найдете в книге Теория алгорифмов (А. А. Марков, Н. М. Нагорный)