PanLinx
English
eng-000
beta reduction
русский
rus-000
бета-редукция
PanLex
