Logic, Computers, and AI