Полный русско-английский словарь
язык высказываний
Sentential language
Полный русско-английский словарь
язык вынуждения
язык высокого уровня