PanLinx
русский
rus-000
логика предикатов
беларуская
bel-000
логіка прэдыкатаў
English
eng-000
predicate logic
English
eng-000
quantificational logic
PanLex
