Parameter free induction and provably total computable functions
scientific article; zbMATH DE number 1387343
scientific article