324915
Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках : диссертация ... кандидата физико-математических наук : 01.01.06 Руцкий, Алексей Николаевич
2002, Красноярск
Математика. Диссертация Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках : диссертация ... кандидата физико-математических наук : 01.01.06, Красноярск, 2002