Logic, Computers, Turing, and von Neumannt J. A. Robinson