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