Её описание можно найти во всех серьёзных учебниках по математической логике и теории вычислимости.

В главе 5 представлена молодая сестра теории вычислимости — теория вычислительной сложности, которая в дальнейшем играет в книге центральную роль.