Решение общей задачи теории вероятностей при помощи математической логики. Труды СПИИРАН, v. 6, n. 43, p. 27-49, 25 nov. 2015.