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