Local induction and provably total computable functions | Publicación