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