Решение общей задачи теории вероятностей при помощи математической логики. 2015. Труды СПИИРАН 6 (43), 27-49. https://doi.org/10.15622/sp.43.2.