Russell's 1925 logic