Solving General Tasks in Probability Theory by Using Mathematical Logic. SPIIRAS Proceedings 6(43), 27-49 (2015). doi:10.15622/sp.43.2