Weak and strong versions of effective transfinite recursion
scientific article; zbMATH DE number 7653728
scientific article