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