Local Induction and Provably Total Computable Functions: A Case Study | Publicación