Text this: Obliczalność funkcji definiowanych rekurencyjnie drogą wykonania programu równego definicjom /