První svazek trilogie Výpočty je zaměřen na teoriičástečně rekursivních funkcí. Monigrafie pokrývá především tyto oblasti: Turingoavy stroje; primitivně rekursivní funce, obecně rekursivní funkce a částečně rekursivní funkce; ekvivalence Turingových strojů a částečně rekursivních funkcí atd.
