Ryabinin, I.; Strukov, A. A Preface and an Introductory Article to the Re-Edition of the Work of Platon Sergeevich Poreckiy «Solving General Tasks in Probability Theory by Using Mathematical Logic». SP 2015, 6, 5-26.