Solving General Tasks in Probability Theory by Using Mathematical Logic. SPIIRAS Proceedings, v. 6, n. 43, p. 27-49, 25 nov. 2015.