PanLinx
русский
rus-000
арифметика высказываний
English
eng-000
arithmetic of propositions
PanLex