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