Russell's hidden substitutional theory - Landini, Gregory (New York Oxford University Press, 1998)
Keywords: Russell, Bertrand -- 1872-1970.; Proposition (Logic) -- History -- 20th century; Logic, Symbolic and mathematical -- History -- 20th century