Handbook of the history of logic. Logic from Russell to Church / V. 5, (2009)