Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki

D. Yu Grigoriev, V. P. Orevkov, S. I︠U︡ Maslov, G. E. Mint͡s, Matematicheskiĭ institut im. V.A. Steklova. Leningradskoe otdelenie