Title: Logic from Russell to Church