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