PanLinx
English
eng-000
intuitionistically derivable
русский
rus-000
интуиционистски выводимый
PanLex