Title: Issledovanii︠a︡ po formalizovannym i︠a︡zykam i neklassicheskim logikam
Subjects: Formal languages, Symbolic and mathematical Logic