В.А. Суровцев. Рамсей и программа логицизма. VFIL [Internet]. 2015 Jan. 16 [cited 2025 Feb. 24];(1):208-12. Available from: https://pq.iphras.ru/article/view/4496