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