Robinson, J.Alan
(1994),
"Logic, Computers, Turing, and von Neumann" [PDF],
in
K. Furukawa;
D. Michie;
&
Muggleton, S.
(eds.),
Machine Intelligence 13:
Machine Intelligence and Inductive Learning
(Oxford: Clarendon Press):
1-35.
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.