“Solving General Tasks in Probability Theory by Using Mathematical Logic”. SPIIRAS Proceedings, Vol. 6, no. 43, Nov. 2015, pp. 27-49, DOI:10.15622/sp.43.2.