S. I︠U︡ Maslov

• Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki