Семинары: А. В. Кудинов, Об одной старой просто формулируемой нерешенной задаче в модальной логике

СЕМИНАРЫ


Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ 2 декабря 2014 г., г. Москва, ул. Льва Толстого, д. 16, Яндекс, БЦ «Морозов», ауд. «7.Пятниц»

Об одной старой просто формулируемой нерешенной задаче в модальной логике А. В. Кудинов^ab ^a Институт проблем передачи информации им. А. А. Харкевича РАН, г. Москва ^b Московский физико-технический институт (государственный университет), г. Долгопрудный Московской обл.