• Rod Adams  An Early History of Recursive Functions and Computability from Gödel to Turing, Docent Press, 2011
  • Maria Manzano  Extensions of First-Order Logic, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 19, 1996/2005
  • Sara Turing  Alan M. Turing, 2nd Edition, Cambridge University Press, Due in April 2012

最後の本の 1st ed. は1959年に出て、その翻訳が1969年に出ていたようです。この本の特色は次の点にあるようです。

To commemorate the centenary of Turing's birth, this republication of his mother's biography is enriched by a new foreword by Martin Davis and a never-before-published memoir by Alan's older brother.