Решение общей задачи теории вероятностей при помощи математической логики. ТС 2015, 6, 27-49.