Theoretical application of methods of mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 68, ed. G. E. Mints, V. P. Orevkov, 1977, 150 ñ. http://mi.mathnet.ru/book502
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
