Book chapter
History of the Leningrad (St. Petersburg) School of Constructive Mathematics and Proof Theory
G.E. Mints, S.I. Nikolenko
Logic in Central and Eastern Europe: History, Science and Discourse · pp. 380–387 · University Press of America · 2012
BibTeX
@incollection{mints2012_726,
author = {Mints, Grigory E. and Nikolenko, Sergey I.},
title = {{History of the Leningrad (St. Petersburg) School of Constructive Mathematics and Proof Theory}},
year = {2012},
booktitle = {Logic in Central and Eastern Europe: History, Science and Discourse},
publisher = {University Press of America},
pages = {380--387},
url = {https://rowman.com/ISBN/9780761858911}
}