“Frank P. Ramsey Bibliography”, Gwern2019-01-24 (, , , )