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