Handbook of the history of logic - Gabbay, D.M. (Amsterdam North Holland, 2006)