PanLinx
English
eng-000
prenex sequent
русский
rus-000
предваренная секвенция
PanLex
