Handbook of the history of logic - Gabbay, Dov M.