Frank P. Ramsey's 1928 paper

GPTKB entity