Computational logic (Handbook of the history of logic, 2014)