Druhá část trilogie VÝPOČTY se zabývá především otázkou existence omezených výpočtů s důrazem na existenci výpočtů omezené délky. Pojmům ve výpočetní složitosti je zde možné porozumět jako omezeným analogiím pojmů v rekursi, kniha často odkazuje na pojmy a věty z rekurse, studované ve svazku I.