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