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