RUS  ENG
Full version
VIDEO LIBRARY

Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
July 18, 2016 15:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8


Теория сложности док­азательств

A. A. Razborov




© Steklov Math. Inst. of RAS, 2024