Handbook of the the history of logic