510. Фундаментальные и общие проблемы математики.
510.2
Основания математики.
510.5
Теория алгоритмов и вычислимые функции.
510.6
Математическая логика.
510.8
Общие математические системы.
См. также
519.6
.
[
Начало
]