Teoreticheskie primeneni︠i︡a metodov matematicheskoĭ logiki (Zapiski nauchnykh seminarov Leningradskogo otdeleni︠i︡a Matematicheskogo instituta im. V.A. Steklova AN SSSR (LOMI), 1975)