510.65. Логико-математические теории.
510.652
Формальная арифметика. Формальная теория чисел.
См. также
511.34
.
[
Начало
]