Handbook of the history of logic - Gabbay, Dov M., 1945-; Woods, John (John Hayden) (Elsevier : North Holland, 2004)