PanLinx
English
eng-000
imperative logic
ગુજરાતી
guj-000
આજ્ઞાવાચક તર્કશાસ્ત્ર
русский
rus-000
императивная логика
PanLex