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». SPIIRAS Proceedings 6(43), 5-26 (2015). doi:10.15622/sp.43.1