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

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