Logic, Computers, and Men