000 00240nam a22000977a 4500
082 _a511.352
_bSOA.T
100 _aSoare, Robert I
245 _aTuring computability: Theory and applications
260 _aBerlin
_bSpringer
_c2016
942 _cBK
999 _c220215
_d220215