Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Севернее и северо-западнее Невеля наши войска вели наступательные бои, в ходе которых заняли более 40 населенных пунктов и среди них Верхитно, Лахны, Барканы, Бугаевка, Кубок, Рожново, Жуково.
ДОКОПАТЬ докопаю, докопаешь, сов. (к докапывать), что. Докончить
копание чего-н. Докопать ров. || Выкопать до какого-н. места. Докопали яму
до середины.