Лобовиков ВО. Гильбертовская концепция «существования в математике» и ее моделирование формальной аксиоматической теорией Ф+⁆, рассматривающей существование не как квантор, а как модальность (на англ.). RL [Интернет]. 25 март 2024 г. [цитируется по 22 декабрь 2024 г.];5(1):16-50. доступно на: https://respublicaliteraria.ru/index.php/rl/article/view/239