B. A. Bernstein Remark on Nicod's Reduction of Principia Mathematica. 165-166 1937 2 J. Symb. Log. 4 db/journals/jsyml/jsyml2.html#Bernstein37