Бесконечные арифметические формулы и принцип рефлексии. Н.В. Белякин, С.П. Одинцов, N. V. Beljakin, S. P. Odincov, N. V. Belǎkin, S. P. Odincov, N. V. Beljakin, S. P. Odincov (1997) Algebra i Logika
Верхние оценки удлинения выводов при устранении сечений В.П. Оревков (1984) Zapiski naucnych seminarov Leningradskogo
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости Р.К. Пранк (1981) Algebra i Logika
Вычислимые функционалы и арифметика ординальных типов В.А. Ганов (1986) Sibirskij matematiceskij zurnal
Гейтинговское исчисление предикатов с эпсилон-символом Г.Е. Минц (1974) Zapiski naucnych seminarov Leningradskogo
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике Н.А. Шанин (1995) Zapiski naucnych seminarov POMI
Две системы доказательства тавтологичности, основанные на методе расщеплений Е.Я. Данцин (1981) Zapiski naucnych seminarov Leningradskogo
Доказательства в арифметике, использующие случайные числа Е.Я. Данцын (1995) Zapiski naucnych seminarov POMI
Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций Osvald Demuth (1972) Commentationes Mathematicae Universitatis Carolinae
Достаточное условие сходимости монотонных последовательностей Ю.В. Матиясевич (1971) Zapiski naucnych seminarov Leningradskogo
Достаточные условия нормируемости линейных операторов в конструктивной математике Antonín Kučera (1971) Commentationes Mathematicae Universitatis Carolinae
Ещё один конструктивный вариант теоремы Коши И.Д. Заславский, Г.С. Цейтин (1971) Zapiski naucnych seminarov Leningradskogo
Законы больших чисел в конструктивной теории вероятностей Н.К. Косовский (1969) Zapiski naucnych seminarov Leningradskogo
Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике Osvald Demuth (1969) Commentationes Mathematicae Universitatis Carolinae
Замечание об усилении гипотезы Г.Крайзеля В.П. Оревков (1989) Zapiski naucnych seminarov Leningradskogo
Замкнутые категории и теория доказательств Г.Е. Минц (1977) Zapiski naucnych seminarov Leningradskogo
Иерархии операторов в конструктивных метрических пространствах С.В. Пахомов (1976) Zapiski naucnych seminarov Leningradskogo
Из чего вытекает закон исключенного третьего? В.Я. Крейнович (1974) Zapiski naucnych seminarov Leningradskogo