PanLinx
English
eng-000
natural deduction
日本語
jpn-000
自然演繹
русский
rus-000
естественный вывод
PanLex