"Logic, Computers, Turing, and von Neumann" [PDF],
Machine Intelligence 13:
Machine Intelligence and Inductive Learning
(Oxford: Clarendon Press):
Interesting historical comments by the developer of the
resolution method of automated theorem proving on the development of
computers and the related history of logic.