Сообщение форума
Обнаружена ошибка. Если вам неизвестны причины ошибки, попробуйте обратиться к разделам помощи .
Причина:
Вы заблокированы на этом форуме
Ссылки
Вернуться назад
Copyright © by "Российский информационно-образовательный портал Veni Vidi Vici", 2008-2022.
При использовании материалов с портала, активная ссылка на
www.vevivi.ru обязательна.
Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>>
Смотреть календарь
МОРАВИА
(Moravia) (наст . фам. Пинкерле, Pincherle) Альберто (1907-90), итальянский писатель. Социально-психологические романы "Равнодушные" (1929), "Римлянка" (1947), "Скука" (1960), "Внутренняя жизнь" (1978), "1934" (1982). В "Римских рассказах" (1954) и р...