1. Solving General Tasks in Probability Theory by Using Mathematical Logic // SPIIRAS Proceedings. 2015. № 43 (6). C. 27-49.