PanLinx
русский
rus-000
вещественно замкнутое поле
English
eng-000
real-closed field
PanLex
