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