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