The Human Story Behind the Story of Logic: Martin Davis’ The Universal Computer – The Road from Leibniz to Turing

I suspect to a great many people, the thought of reading a book about the history of logic sounds...well, boring. You may have just yawned reading the previous sentence. It may eventually trace the history of the computer by the end of the book, but mostly its about the development of a system of symbols …