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