Turing Computability: Theory and Applications - Soare, Robert I (Springer Nature, 2016)
Keywords: Computable functions; Computer Science; Data processing Computer science; Logic, Symbolic and mathematical; Mathematical Logic and Foundations; Mathematics of Computing; Theory of Computation