I haven't read Leavitt’s book on Turing, so I can't comment on it.

I have read "Alan Turing: The Enigma" by Andrew Hodges, which was excellent, both in the biographical details and the mathematical details.