УДК 510.65
Логико-математические теории
код УДК
описание
примечания
510.652
Формальная арифметика. Формальная теория чисел
см.
511.34
Аддитивная теория чисел