PanLinx
English
eng-000
synthetic deduction
русский
rus-000
синтетическая дедукция
PanLex
