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