Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации на соискание ученой степени кандидата физико-математических наук
Тип публикации: автореферат диссертации
Год издания: 2004
Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов, Математическая логика, алгебра и теория чисел