Mostowski Andrzej Stanisław
A Lemma Concerning Recursive Functions and Its Applications