PanLinx
English
eng-000
intuitionistically provable
русский
rus-000
интуиционистски доказуемый
PanLex