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