Теоретико-модельная и теоретико-доказательная семантика логического вывода

Андрей Вячеславович Родин — доктор философских наук, старший научный сотрудник сектора философских проблем естествознания Институт философии РАН. Доцент СПбГУ.