Формальная философия-18
Состоялось 18-е заседание семинара "Формальная философия". Андрей Бановац (ИФ РАН) выступил с докладом "Топологический анализ импликации и правила вывода modus ponens".
.JPG){kind=link}
Дата
4 декабря
2014
В статье упомянуты
Состоялось 18-е заседание семинара "Формальная философия". Андрей Бановац (ИФ РАН) выступил с докладом "Топологический анализ импликации и правила вывода modus ponens".