1. J. Barwise, “An introduction to first-order logic,” in:Handbook of Mathematical Logic, North-Holland, Amsterdam (1977), pp. 5–46.
2. V. Ya. Belyaev and M. A. Taitslin, “Elementary properties of existentially closed systems,”Usp. Mat. Nauk,34, No. 2, 39–94 (1979).
3. Yu. L. Ershov, “Dynamic logic over admissible sets,”Dokl. Akad. Nauk SSSR,273, No. 5, 792–795 (1983).
4. S. S. Goncharov and D. I. Sviridenko, “Σ-programming,”Vych. Sist., No. 107, Novosibirsk, 3–29 (1985).
5. M. A. Taitslin, “Hierarchies of programming logics,”Sib. Mat. Zh.,24, No. 3, 184–192 (1983).