Logical semantics

математика логическая семантика

Англо-русский научно-технический словарь