“Topics in Classical and Intuitionistic Model Theory” Gardariki, Moscow, 2000, 390 pages. Monograph

An algorithm of inferring RNA secondary structure. Proceedings of scientific workshop of the Logic Center of RAS, Issue 14, Moscow, RAS Press, 2000, p. 99-109. [in Russian]

On an algorithm of detecting regulatory signal in sequence data. Logic research. Issue 7, Moscow, Nauka, 2000, p. 159-163. [in Russian]

Algorithms of detecting regulatory signal and constructing evolutionary trees. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 130-137. [in Russian]

On the concept of informational interaction, 1: pre-psychic bioinformatics. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 8-20. [in Russian]

“Computer Logic in Information Processes” Information transmission problems, RAS, V. 35, issue 2, 1999, p. 107-111. [in Russian]
Go to publication

“Logic models of informational interaction processes” Proceedings of I international conference of the RAS “Issues in control and modeling in complex systems”, Samara, 1999, p. 133-145. [in Russian]

“Transfer theorems and the algebra of modal operators” Algebra and Logic, 1997, Vol. 36, No. 3, pp. 169–181.
Go to publication

“On Some Applications of the Semantic Evaluation Method” Problems of Information Transmission, 1996, 32:3, pp. 290–302.
Go to publication

“On One Approach to Modelling Intelligent Systems” Problems of Information Transmission, 1993, 29:3, pp. 295–297.
Go to publication

“Heyting-Valued Analysis: P. S. Novikov’s Hypotheses” Contemporary Mathematics, 1993, V. 131, Pt. 3, PP. 565–583.

“Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings” Algebra and Logic, 1991, Vol. 30, No. 6, pp. 427–439.
Go to publication

“Intuitionistic theory of algebraic systems and heyting-valid analysis” Algebra and Logic, 1991, Vol. 30, No. 3, pp. 208– 216.
Go to publication

“Model-completeness of a theory and evaluation of formulas” Algebra and Logic, 1990, Vol. 29, No. 1, pp. 10–22.
Go to publication

“Valuations and sheaves. On some questions of non-standard analysis” Russian Mathematical Surveys, 1989, Vol. 44, No. 4, pp. 37–113.
Go to publication

“On some applications of Heyting-valued analysis II” Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988