Решение общей задачи теории вероятностей при помощи математической логики. Труды СПИИРАН 6, no. 43 (ноябрь 25, 2015): 27-49. просмотрено декабрь 4, 2024. https://ia.spcras.ru/index.php/sp/article/view/3115.