Hand book of the history of logic - Gabbay, Dov M (Elsevier, 2009)