PanLinx
English
eng-000
effective undecidability
русский
rus-000
эффективная неразрешимость
PanLex
