510. Фундаментальные и общие проблемы математики.

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

[ Начало ]