Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ТУРИСТ"гражданин, посещающий страну (место) временного пребывания в оздоровительных, познавательных, профессионально-деловых, спортивных, религиозных и иных целях без занятия оплачиваемой деятельностью в период от 24 часов до 6 месяцев подряд или осуществл...