https://sergeynikolenko.ru/en/papers/726
History of the Leningrad (St. Petersburg) School of Constructive Mathematics and Proof Theory —...
History of the Leningrad (St. Petersburg) School of Constructive Mathematics and Proof Theory. G.E. Mints, S.I. Nikolenko.
of thest petersburgconstructive mathematicsproof theoryhistory