Engines of logic : mathematicians and the origin of the computer - Davis, Martin , 1928-. (Norton, 2001)