PanLinx
English
eng-000
deductive demonstration
русский
rus-000
дедуктивное доказательство
PanLex