ABSTRACT
Valery Ivanovich Glivenko (1897–1940), mathematician and logician; graduated from Moscow University in 1925, obtained his doctoral degree in 1928; taught in Karl Libknekht Teacher-Training Institute Moscow, from, 1928 to 1940; made great contributions to the intuitionist and constructivist logics.
