Title: Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki
Subjects: Symbolic and mathematical Logic, Congresses