Volume 199, Issue 1
May 2014This issue is a translation of Zapiski Nauchnykh Seminarov Sankt-Peterburgskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Rossiiskoi Akademii Nauk (Notes of Scientific Seminars of the St. Petersburg Department of the Steklov Mathematical Institute, Russian Academy of Sciences), Vol. 407, 2012. This issue is entitled Studies in Constructive Mathematics and Mathematical Logic, Part XII, and was edited by V. P. Orevkov.
6 articles in this issue