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