Charles Babbage and the Emergence of Automated Reason | part of The Mechanical Mind in History | MIT Press books | IEEE Xplore