PanLinx
English
eng-000
intuitionistic axioms
русский
rus-000
интуиционистские аксиомы
PanLex