PanLinx
русский
rus-000
логика первого порядка
English
eng-000
first-order logic
PanLex