Text this: Logic from Russell to Church.