The Road from Leibniz to Turing, Third Edition - Martin Davis (Taylor and Francis, 2018)