| English | Russian |
| first-order logic | первопорядковая логика (vitalinew) |
| first-order logic | логика предикатов первого порядка (= first-order predicate logic ssn) |
| first-order logic | логика первого порядка |
| first-order predicate logic | логика предикатов первого порядка (ssn) |