Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ЛАК -а (-у), м. 1. Раствор смол или синтетических веществ, покрывающий твёрдой блестящей плёнкой какую-н. поверхность. Покрыть лаком. Л. для ногтей, для пола. Навестил, (также перен.: окончательно отделать). 2. мн. Художественные изделия из дерева, папь...