Describir: Logic from Russell to Church.