PanLinx
русский
rus-000
интуиционистское исчисление
English
eng-000
intuitionistic calculus
PanLex