PanLinx
русский
rus-000
интуиционистская логика
беларуская
bel-000
інтуіцыйная логіка
English
eng-000
intuitionistic logic
PanLex