УДК 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.
510.2 Основания математики
510.5 Теория алгоритмов и вычислимые функции
510.6 Математическая логика
510.8 Общие математические системы
510.2 Основания математики
510.5 Теория алгоритмов и вычислимые функции
510.6 Математическая логика
510.8 Общие математические системы