В.А. Суровцев. Рамсей и программа логицизма. VFIL 2015, No. 1, 208-212.