by Martin Davis (Author), Martin Davis (Author)
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.
Format: Hardcover
Pages: 270
Edition: First Edition
Publisher: W. W. Norton & Company
Published: 17 Oct 2000
ISBN 10: 0393047857
ISBN 13: 9780393047851