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