Один подход к построению конструктивных аналогов теории множеств Л.Н. Гордеев (1977) Zapiski naucnych seminarov Leningradskogo
Одна специализация формы вывода в генценовских исчислениях и ее приложения В.П. Оревков (1973) Zapiski naucnych seminarov Leningradskogo
Одна схема доказательств в дискретной математике Ю.В. Матиясевич (1974) Zapiski naucnych seminarov Leningradskogo
Пример конструктивного отделимого пространства с неотделимым пополнением В.П. Чернов (1976) Zapiski naucnych seminarov Leningradskogo
Пространства L r и S в конструктивной математике Osvald Demuth (1969) Commentationes Mathematicae Universitatis Carolinae
Тeoремы о среднем значении для конструктивного интеграла Osvald Demuth (1970) Commentationes Mathematicae Universitatis Carolinae
Теорема об устранимости сечения для релевантных логик Г.Е. Минц (1973) Zapiski naucnych seminarov Leningradskogo
Топологические варианты теоремы о непрерывности отображений и родственных теорем В.П. Чернов (1973) Zapiski naucnych seminarov Leningradskogo
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики Г.Е. Минц (1971) Zapiski naucnych seminarov Leningradskogo
Трансфинитные развертки арифметических формул Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Финитное исследование трансфинитных выводов Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Эрбрановы тактики и отношение "большей выводимости" С.Ю. Маслов, С.А. Норгела (1977) Zapiski naucnych seminarov Leningradskogo