内容
How do today's computers perform such a wide variety of tasks? Davisillustrates how the answer lies in the fact that computers areessentially engines of logic. Their hardware and software embodiesconcepts developed by logicians sugh as Gottfried Leibniz, Kurt Godeland Alan Turing.