512.623.5. Упорядоченные поля.

512.623.52 Формально вещественные поля.

[ Начало ]