V. A. Lyubetskii

Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings

V. A. Lyubetskii, 1991 .

Intuitionistic theory of algebraic systems and heyting-valid analysis

V. A. Lyubetskii, 1991 .

Valuations and sheaves. On some questions of non-standard analysis

V. A. Lyubetskii, 1989 .

Reducibility of monadic equivalence relations

V. Kanovei, M. Reeken, V. A. Lyubetskii, 2007 .

On some classical problems of descriptive set theory

Vladimir Kanovei, V. Kanovei, Vasilii Aleksandrovich Lyubetskii, 2003 .

Nonstandard representations of locally compact groups

S. Pirogov, V. A. Lyubetskii, 2007 .

Algorithm of Regulatory Signal Recognition in DNA Sequences

L. V. Danilova, K. Yu. Gorbunov, M. S. Gelfand, 2001, Molecular Biology.