Engines of logic : mathematicians and the origin of Computer / Martin Davis. - Davis, Martin, 1928- (OLS)http://pul/name/48980 (Norton & Company, 2001)
Bibliografia in nota.