PanLinx
English
eng-000
many-valued propositional calculus
русский
rus-000
многозначное пропозициональное исчисление
PanLex