Title: Formalizovannye iazyki i problemy logicheskoi semantiki