Это меню отключено
Сообщение форума
Обнаружена ошибка. Если вам неизвестны причины ошибки, попробуйте обратиться к разделам помощи.
Причина:
Вы заблокированы на этом форуме
Ссылки
|
Текстовая версия |
Copyright © by "Российский информационно-образовательный портал Veni Vidi Vici", 2008-2022.
При использовании материалов с портала, активная ссылка на www.vevivi.ru обязательна.
Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике. >>>
Смотреть календарь
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике. >>>
Смотреть календарь
В Дрездене под управлением автора состоялась первая постановка оперы Рихарда ВАГНЕРА «Летучий голландец».
>>>
Смотреть календарь
Смотреть календарь
БАТЕНЕВСКИЙ КРЯЖ ,
отрог Кузнецкого Алатау, в Хакасии. Длина ок. 100 км. Высота 1249 м. Отделяет Чулымо-Енисейскую котловину от Сыдо-Ербинской.