“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.