TY  - JOUR
T1  - КОНЕЧНАЯ АРИФМЕТИКА И ЕЁ РАСШИРЕНИЯ
AU  - Ловягин, Ю Н
Y1  - 2024-08-22
UR  - https://rgpu.elpub.ru/publication/16944
N2  - Излагается подход к моделированию вещественных чисел посредством расширения некоторой аксиоматической системы для натуральных чисел.