PanLinx
ગુજરાતી
guj-000
પરિણામાત્મક સંયોજક તર્કશાસ્ત્ર
English
eng-000
illative combinatory logic
PanLex