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