VYČISLIMOSŤ. VVEDENIJE V TEORIJU REKURSIVNYCH FUNKCIJ - Cutland, Nigel (Mir, 1983)