PanLinx
русский
rus-000
общерекурсивное множество
English
eng-000
general recursive set
PanLex
