Handbook of the history of logic. Volume 5, Logic from Russell to church - Gabbay, Dov M., 1945-; Woods, John (Elsevier, 2009)