Maslov Sergei Yur'evich

Books in Math-Net.Ru

1. Theoretical application of methods of mathematical logic. Part I, Zap. Nauchn. Sem. LOMI, 49, ed. S. Yu. Maslov, G. E. Mints, 1975, 180 с.
   http://mi.mathnet.ru/book581