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