Robert I Soare Turing Computability - 1st ed. 2016 - Springer 2016 - Theory and Applications of Computability . ISBN: 9783642319334 Subjects--Topical Terms: Computer ScienceTheory of Computation