Схемы доказательств в аксиоматических теориях гильбертовского типа В.П. Оревков (1988) Zapiski naucnych seminarov Leningradskogo
Тeoремы о среднем значении для конструктивного интеграла Osvald Demuth (1970) Commentationes Mathematicae Universitatis Carolinae
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев, С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo
Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр Л.Л. Максимова (1977) Algebra i Logika
Теорема об устранимости сечения для релевантных логик Г.Е. Минц (1973) Zapiski naucnych seminarov Leningradskogo
Топологические варианты теоремы о непрерывности отображений и родственных теорем В.П. Чернов (1973) Zapiski naucnych seminarov Leningradskogo
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики Г.Е. Минц (1971) Zapiski naucnych seminarov Leningradskogo
Трансфинитные развертки арифметических формул Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Три способа выявления несущественных формул в секвенциях В.П. Оревков (1979) Zapiski naucnych seminarov Leningradskogo
Упрощение генценовских редукций классической арифметики Л.М. Коган-Бернштейн (1981) Zapiski naucnych seminarov Leningradskogo
Устранение правил типа сечения в аксиоматических теориях с равенством А.Ю. Плюшкевичене (1969) Zapiski naucnych seminarov Leningradskogo
Финитное исследование трансфинитных выводов Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Эквивалентность двух определений непрерывности В.П. Оревков (1971) Zapiski naucnych seminarov Leningradskogo
Эрбрановы тактики и отношение "большей выводимости" С.Ю. Маслов, С.А. Норгела (1977) Zapiski naucnych seminarov Leningradskogo