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