• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Формальная философия-18

Состоялось 18-е заседание семинара "Формальная философия". Андрей Бановац (ИФ РАН) выступил с докладом "Топологический анализ импликации и правила вывода modus ponens".

Состоялось 18-е заседание семинара "Формальная философия". Андрей Бановац (ИФ РАН) выступил с докладом "Топологический анализ импликации и правила вывода modus ponens".