Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец. В.А. Любецкий — 1991 Algebra i Logika
Интуиционистская теория алгебраических систем и гейтинговозначный анализ. В.А. Любецкий — 1991 Algebra i Logika
Теоремы переноса и алгебра модальных операторов. В.А. Любецкий; V. A. Ljubeckij; V. A. Lǔbeckij; V. A. Ljubeckij — 1997 Algebra i Logika