Handbook of the history of logic (Elsevier, 2004)