512.623.5. Упорядоченные поля.
512.623.52
Формально вещественные поля.
[
Начало
]