000 00601nam a2200193Ia 4500
008 210417s9999 xx 000 0 und d
020 _a9781107043480
020 _b1107043484
082 _a510.92 DOW
082 _b22.510.92 DOW
245 0 _aTuring's legacy : developments from Turing's ideas in logic
245 0 _cTurings legacy developments from Turings ideas in logic
250 _b"x, 529 p. ; 24 cm., hbk."
260 _aUnited Kingdom
260 _bCambridge : Cambridge University Press
260 _c2014
700 _a" Downey, R. G. (Rod G.)"
700 _bedited by Rod Downey
999 _c493206
_d493206