Побывал на конференции
Nikolai Vasiliev’s Logical Legacy and the Modern Logic Здорово, что формат workshop приживается у нас. И все докладчики честно говорили по-английски. И доклады были очень высокого уровня.
Некоторые доклады были чисто логическими: так, например, В.И. Маркин сделал обзор реконструкций систем Васильева, В. Шангин рассказал о
(
Read more... )