Provably Total Primitive Recursive Functions: Theories with Induction | Publicación