TY  - BOOK
AU  - Безгачева,Юлия Викторовна
TI  - Приложение семантики Крипке к исследованию правил вывода: Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
PY  - 1998///
CY  - Красноярск
KW  - Математическая логика, алгебра и теория чисел
KW  - БВАК1995N4
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 14-15
ER  -