Title: Matematicheskai͡a︡ teorii͡a︡ logicheskogo vyvoda
Subjects: Symbolic and mathematical Logic