PanLinx
русский
rus-000
лямбда-обозначение
English
eng-000
lambda notation
русский
rus-000
лямбда-нотация
PanLex