Văn bản này: Teoreticheskie primeneni︠i︡a metodov matematicheskoĭ logiki /