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