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