Языки логико-математические — формальные языки, служащие для изложения логических и математических теорий в виде формальных логико-математических исчислений. Логико-математические языки делятся на логические и прикладные и разрабатываются при построении соответственно логических и прикладных исчислений. Языки задаются перечнем символов, правилами образования так называемых правильно построенных выражений языка, а также указанием семантики, т. е. истолкования смысла языковых выражений.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]