На основе понятия нормального алгорифма изложена общая теория алгорифмов и некоторые ее применения. Значительное влияние уделяется логическим и, в частности, семантическим аспектам этой теории. Второе издание дополнено рядом существенных результатов. Книга предназначена для математиков, а также логиков и философов, интересующихся основаниями математики, математической логикой и теорией алгорифмов.