“В.А. Суровцев. Рамсей и программа логицизма”, VFIL, no. 1, pp. 208–212, Jan. 2015, Accessed: Feb. 24, 2025. [Online]. Available: https://pq.iphras.ru/article/view/4496