Turing's Legacy Developments from Turing's Ideas in Logic

A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.