Устранение правил типа сечения в аксиоматических теориях с равенством А.Ю. Плюшкевичене (1969) Zapiski naucnych seminarov Leningradskogo
Финитное исследование трансфинитных выводов Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Эквивалентность двух определений непрерывности В.П. Оревков (1971) Zapiski naucnych seminarov Leningradskogo
Эрбрановы тактики и отношение "большей выводимости" С.Ю. Маслов, С.А. Норгела (1977) Zapiski naucnych seminarov Leningradskogo