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