J Hintikka, J Hintikka - Language, Truth and Logic in Mathematics, 1998 - Springer
The formation of the current concept of computability (recursivity) is one of the major
achievements of twentieth-century logical theory (see eg Davis 1965, Rogers 1967, ch. 1) …