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

510.652Формальная арифметика. Формальная теория чисел.
См. также 511.34.

[ Начало ]