000 a
020 _a9783662568583
100 _aRobert I. Soare
245 _aTuring Computability : Theory and Applications
260 _bSpringer
_c2018
999 _c34548
_d34548