Seol mar théacs é seo: Teoreticheskie primeneni︠i︡a metodov matematicheskoĭ logiki /