PanLinx
русский
rus-000
формализованная металогика
English
eng-000
formalized metalogic
PanLex
