Title: Logic, Computing Machines, and Automation
Description: Book digitized by Google from the library of the University of California and uploaded to the Internet Archive by user tpb.