Logic from Russell to Church | lit.salon