Лобовиков, В.О. 2024. Гильбертовская концепция «существования в математике» и ее моделирование формальной аксиоматической теорией Ф+⁆, рассматривающей существование не как квантор, а как модальность (на англ.). Respublica literaria. 5, 1 (мар. 2024), 16–50. DOI:https://doi.org/10.47850/RL.2024.5.1.16-50.