Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
КАНДИДАТ НАУКученая степень, присуждается в РФ (СССР) с 1934 г. лицам с высшим образованием, сдавшим кандидатский минимум и защитившим кандидатскую диссертацию.