Title: Formalʹnye i neformalʹnye rassuzhdenii︠a︡
Subjects: Natural language processing (Computer science), Reasoning, Artificial intelligence, Logic