Title: Formalizovannye i︠a︡zyki i problemy logicheskoĭ semantiki
Subjects: Formal languages, Language and logic, Semantics