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