Davis, Martin . , The universal computer : the road from Leibniz to Turing / Martin Davis. - xiv, 224 pages : illustrations ; 23 cm. ISBN: 9781466505193 1466505192 Subjects--Topical Terms: Electronic digital computers--History. LC Class. No.: QA76.17 / .D38 2011