The Universal Computer - The Road from Leibniz to Turing by Martin Davis