Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В течение 2 января наши войска в районе Среднего Дона, юго-западнее и южнее Сталинграда, на Центральном фронте и на Северном Кавказе вели наступательные бои. Наши войска овладели районным центром Дубовское, железнодорожной станцией Ремонтная и район...>>> Смотреть календарь
protocol 1. noun 1) протокол 2) dipl. протокол; прелиминарные условия дого- вора или соглашения; дополнительное международное соглашение 3) (the Protocol) протокольный отдел (министерства иностранных дел и т. п.) 4) правила диплома- тического этикета 2. v. п...