Tarski's axiomatization of the reals

Аксиоматика вещественных чисел Тарского — вариант системы оснований арифметики вещественных чисел, предложенный Альфредом Тарским в 1936 году.

Tarski's axiomatization of the reals

Аксиоматика вещественных чисел Тарского — вариант системы оснований арифметики вещественных чисел, предложенный Альфредом Тарским в 1936 году.