I. Ryabinin and A. Strukov, “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, vol. 6, no. 43, pp. 5-26, Nov. 2015.