УДК 510.65

Логико-математические теории


  
код УДК описание примечания
510.652 Формальная арифметика. Формальная теория чисел

см. 511.34 Аддитивная теория чисел