剧情简介：How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.
作者：Martin Davis
出版社：W. W. Norton & Company
ISBN：9780393047851
