Title: Kibernetika i logicheskai︠a︡ formalizat︠s︡ii︠a︡
Subjects: Symbolic and mathematical Logic, Cybernetics