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