Финитное исследование трансфинитных выводов
Г. Е. Минц

Эта публикация цитируется в следующих статьяx:

1. L. Gordeev, E. H. Haeusler, V. G. da Costa, “Proof compressions with circuit-structured substitutions”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 77–99  ; J. Math. Sci. (N. Y.), 158:5 (2009), 645–658