Доклад Башмакова С.И. - «Проективная унификация в нестандартных логиках».

Аннотация доклада.
В докладе сделан обзор наиболее значимых результатов теории унификации и проективных формул для различных классов нестандартных логик.