Anfonwch hwn fel neges destun: Teoreticheskie primeneni︠i︡a metodov matematicheskoĭ logiki /