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