この資料をSMS送信: Teoreticheskie primeneni︠i︡a metodov matematicheskoĭ logiki /