Welcome to 1972, actually! https://en.wikipedia.org/wiki/Logic_for_Computable_Functions