PanLinx
русский
rus-000
условная определимость
English
eng-000
conditional definability
PanLex
