2015. В.А. Суровцев. Рамсей и программа логицизма. Вопросы философии. 1 (Jan. 2015), 208–212.