В.А. Суровцев. Рамсей и программа логицизма. (2015). Вопросы философии, 1, 208-212. https://pq.iphras.ru/article/view/4496