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. Kniha často odkazuje na pojmy a věty z rekurse, studované ve svazku I. prečítať celé