Большой англо-русский и русско-английский словарь
язык высказываний (в отличие от процедурного языка)
Англо-русский словарь технических терминов
язык высказываний; непроцедурный язык
sentential language в энциклопедиях
язык высказываний (в отличие от процедурного языка)
язык высказываний; непроцедурный язык