Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Продолжение дневника доктора Борменталя: «Фотографирован во время улыбки при магнии. Встал с постели и уверенно держался полчаса на задних лапах. Моего почти роста.
ЦВЕТНАЯ МЕТАЛЛУРГИЯ , отрасль тяжелой промышленности, включающая добычу и обогащение руд, производство и обработку цветных металлов и их сплавов. Попутная продукция цветной металлургии - химические соединения, минеральные удобрения, стройматериалы и т. д.