Downey, R. Editor. Turing's legacy: Developments from turings ideas in logic - Cambridge Cambridge University Press 2014 - x, 529p. ISBN: 978-1-107-04348-0