Engines of Logic – Martin Davis Populair

A pioneer in computer development chronicles the history of the machine, and the software that makes it tick, elucidating the core principles driving every calculation, stored record, and mouse click. Originally published as The Universal Computer. Reprint.