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