"Logic from Russell to Church"

Dov M. Gabbay, John Woods (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics