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