Theory of provable recursive functions

[1]  Jr. Hartley Rogers.  The Present Theory of Turing Machine Computability , 1959 .

[2]  Georg Kreisel,et al.  Mathematical significance of consistency proofs , 1958, Journal of Symbolic Logic.

[3]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[4]  Georg Kreisel,et al.  On the interpretation of non-finitist proofs—Part I , 1951, Journal of Symbolic Logic.

[5]  Martin D. Davis,et al.  Computability and Unsolvability , 1959, McGraw-Hill Series in Information Processing and Computers.