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