*Provably total functions* of an arithmetical theory is one of the tools used in proof theoretic analysis of theories.

I am looking for early history of its development. In particular,

Where was the first uses of this concept?

Who coined the term "provably total functions"?